diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-04-11 20:48:07 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-04-11 20:52:51 +0200 |
| commit | afce05fbe157ea74d36fd908fd9fe28e90db918e (patch) | |
| tree | cbfad7d20237fff7e0c1cc0b46a65959193892b4 /.gitignore | |
| parent | 06b7f41d24bea192b8dbba306f614b12e862b904 (diff) | |
Ejemplos de categorías
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -12,4 +12,5 @@ auto/ *.toc *~ _region_.tex -prv_*.fmt
\ No newline at end of file +prv_*.fmt +*.prv
\ No newline at end of file |