diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ mmap_* .local Makefile .gnuastro +.texlive* LOCAL_tmp.mk LOCAL_old.mk reproduce/build |
index : project.git | ||
Core Maneage branch (where all projects derive from) | Mohammad Akhlaghi |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 1 |
@@ -11,6 +11,7 @@ mmap_* .local Makefile .gnuastro +.texlive* LOCAL_tmp.mk LOCAL_old.mk reproduce/build |