diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-04-11 15:12:56 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-04-11 15:12:56 +0200 |
| commit | 06b7f41d24bea192b8dbba306f614b12e862b904 (patch) | |
| tree | 15c38afb43e9d13c899a70d1e5da83b52b59758f /.gitignore | |
| parent | 07477444d4e3fbce2b83505b5034fd6a05b5fa63 (diff) | |
Categorías algebraicas
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -10,4 +10,6 @@ auto/ *.pdf *.run.xml *.toc -*~
\ No newline at end of file +*~ +_region_.tex +prv_*.fmt
\ No newline at end of file |