Skip to content
Snippets Groups Projects
Commit 0d08af47 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[headers] remove deleted entry

parent 6d05980e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
headers/header_spec.txt
+ 0
− 1
View file @ 0d08af47
...@@ -1691,7 +1691,6 @@ src/plugins/wp/doc/coqdoc/typed_generated.tex: .ignore ...@@ -1691,7 +1691,6 @@ src/plugins/wp/doc/coqdoc/typed_generated.tex: .ignore
src/plugins/wp/doc/coqdoc/wpcoq.tex: .ignore src/plugins/wp/doc/coqdoc/wpcoq.tex: .ignore
src/plugins/wp/doc/manual/.gitignore: .ignore src/plugins/wp/doc/manual/.gitignore: .ignore
src/plugins/wp/doc/manual/Makefile: .ignore src/plugins/wp/doc/manual/Makefile: .ignore
src/plugins/wp/doc/manual/cealistlogo.jpg: .ignore
src/plugins/wp/doc/manual/mem.pdf: .ignore src/plugins/wp/doc/manual/mem.pdf: .ignore
src/plugins/wp/doc/manual/size_base.pdf: .ignore src/plugins/wp/doc/manual/size_base.pdf: .ignore
src/plugins/wp/doc/manual/size_compl.pdf: .ignore src/plugins/wp/doc/manual/size_compl.pdf: .ignore
......
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