diff options
author | Guillermo Ramos | 2015-07-16 15:39:07 +0200 |
---|---|---|
committer | Guillermo Ramos | 2015-07-16 15:39:07 +0200 |
commit | 5e4f88057da5b416624b7d0cb82a42ac1ea8981a (patch) | |
tree | 12492471cf5a06280b630d0e5aadea9bb54f6904 | |
parent | 767d837a06e7102d26ba70322a68170e64e9cba1 (diff) | |
download | tfm-5e4f88057da5b416624b7d0cb82a42ac1ea8981a.tar.gz |
-x permissions
-rw-r--r--[-rwxr-xr-x] | bib.bib | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | ec-defs.tex | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | tfm.tex | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/ec-defs.tex b/ec-defs.tex index 7878eb9..7878eb9 100755..100644 --- a/ec-defs.tex +++ b/ec-defs.tex |