Skip to content
Snippets Groups Projects
Commit d57dd325 authored by Oliver Sander's avatar Oliver Sander
Browse files

ignore the usual stuff 

[[Imported from SVN: r4158]]
parent 91bcb7f4
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/refinement/.gitignore 0 → 100644
+ 4
− 0
View file @ d57dd325
Makefile
Makefile.in
*.html
semantic.cache
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment