Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
MiKoMH
KWARC
Commits
37d684cd
Commit
37d684cd
authored
Oct 18, 2020
by
Michael Kohlhase
Browse files
cleanup_gitignore
parent
c1c818e7
Changes
1
Hide whitespace changes
Inline
Side-by-side
.gitignore
View file @
37d684cd
...
...
@@ -3,7 +3,6 @@
relational
*.pdflog
errors
*.sms
*.omdoc
# all PDFs but those in the PIC directories are generated.
*.pdf
...
...
@@ -22,7 +21,6 @@ errors
*.log
*.toc
*.aux
localpaths.tex
auto
all.tex
.!*.tex
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment