mark files not executable

UniMath · Jul 13, 2020 · 597fbb9 · 597fbb9
1 parent 6c27268
commit 597fbb9
Show file tree

Hide file tree

Showing 17 changed files with 0 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
diff --git a/EuclideanGeometry.tex b/EuclideanGeometry.tex
diff --git a/Makefile b/Makefile
diff --git a/README.md b/README.md
diff --git a/SymmetryBook.v b/SymmetryBook.v
diff --git a/TO DO.md b/TO DO.md
diff --git a/book.tex b/book.tex
diff --git a/circle.tex b/circle.tex
diff --git a/fingp.tex b/fingp.tex
diff --git a/gerbes.tex b/gerbes.tex
diff --git a/group.tex b/group.tex
diff --git a/intro-uf.tex b/intro-uf.tex
diff --git a/intro.tex b/intro.tex
diff --git a/macros.tex b/macros.tex
diff --git a/papers.bib b/papers.bib
diff --git a/subgroups.tex b/subgroups.tex
diff --git a/symmetry.tex b/symmetry.tex