From afce05fbe157ea74d36fd908fd9fe28e90db918e Mon Sep 17 00:00:00 2001 From: Juan Marin Noguera Date: Tue, 11 Apr 2023 20:48:07 +0200 Subject: Ejemplos de categorías MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 8971f56..1db5035 100644 --- a/.gitignore +++ b/.gitignore @@ -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 -- cgit v1.2.3