diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-27 23:46:49 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-27 23:46:49 +0000 |
| commit | 4c74f4679ff78c7d8694d6814c5d16e463b5a866 (patch) | |
| tree | 202e97f6397092b987d2280012923113ef198a92 /.gitignore | |
| parent | 83c17210186a7d83b394815ba205982622288a03 (diff) | |
Igoring .texlive* in the top build directory
As part of the pipeline, `.texlive2018' may be created. So it is added to
`.gitignore'.
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 |