commit 610c76f97cbccfd503c0b74882b5eabf1279517f parent 00916fc909459a4af75768f0d62dbac6a8c2495c Author: Juan F. Meleiro <juan@juanmeleiro.mat.br> Date: Sat, 30 Mar 2024 12:54:47 -0300 Ignore redo files Diffstat:
| M | .gitignore | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -8,3 +8,4 @@ *.rubbercache *.toc *.pdf +.redo