Skip to content
Snippets Groups Projects
Commit a928c106 authored by Sergey Bozhko's avatar Sergey Bozhko :eyes:
Browse files

Update .gitignore

parent cb02d63e
No related branches found
No related tags found
1 merge request!9Complete proof of Abstract RTA
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
.gitignore
+ 4
− 0
View file @ a928c106
......@@ -2,6 +2,7 @@
*.glob
*.vo
*.html
/html
*.aux
Makefile*
_CoqProject
......@@ -10,3 +11,6 @@ _CoqProject
*.cache
*~
*.orig
*/.#*
#*#
*.DS_Store
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment