diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -13,4 +13,5 @@ auto/ *~ _region_.tex prv_*.fmt -*.prv
\ No newline at end of file +*.prv +*.out
\ No newline at end of file |
![]() |
index : juan/tfg-cat-theory.git | |
| Guía de teoría de categorías | Juan Marín Noguera |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 3 |
@@ -13,4 +13,5 @@ auto/ *~ _region_.tex prv_*.fmt -*.prv
\ No newline at end of file +*.prv +*.out
\ No newline at end of file |