Commit 4b515a47 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix .gitignore.

parent a9aaa6ed
......@@ -11,7 +11,7 @@ Remakefile
remake
remake.exe
html/
src/Flocq_version.v
src/Version.v
*.vo
*.glob
.*.aux
......
Markdown is supported
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