aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJuan Marín Noguera <juan.marinn@um.es>2021-01-25 18:24:37 +0100
committerJuan Marín Noguera <juan.marinn@um.es>2021-01-25 18:24:37 +0100
commit237ce2df30aeb7b6ae0831d76803228a043b78dc (patch)
tree24545f33e6f088d23575c116c7dc7c41844c8c4a /.gitignore
parent69b940c06fcc03bfab667319d2c05ee0bd41e60c (diff)
parent31951e1182d58cb00f03a8b1bc4117e36c037901 (diff)
Merge branch 'aoc'
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 26bb87b..4b35566 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,7 +22,6 @@
# *.pdf
## Generated if empty string is given at "Please type another file name for output:"
-.pdf
## Bibliography auxiliary files (bibtex/biblatex/biber):
*.bbl