From 0f7d9919ec1ab769609b1f61c3e5397b4e8a83a0 Mon Sep 17 00:00:00 2001 From: JGonzalez Date: Mon, 17 Jul 2023 16:18:51 +0200 Subject: [PATCH] Ignore backups of bibliography Sorry that this change is in this branch, but I just noticed that the backups from jabref were not being ignored. --- doc/user-manual/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/user-manual/.gitignore b/doc/user-manual/.gitignore index b2ba4d5..61ad7e0 100644 --- a/doc/user-manual/.gitignore +++ b/doc/user-manual/.gitignore @@ -19,3 +19,4 @@ fpakc_UserManual-blx.bib *.gls *.ist fpakc_UserManual.run.xml +*.bib.sav