Skip to content
Snippets Groups Projects
Commit 64dc9a46 authored by Basile Desloges's avatar Basile Desloges
Browse files

[doc][wp] Remove files imported at compilation time

parent bbe4221a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/doc/.gitignore
+ 4
− 0
View file @ 64dc9a46
frama-c-book.cls
frama-c-cover.pdf
frama-c-left.pdf
frama-c-right.pdf
frama-c-affiliation.tex
cealistlogo.jpg
feedback
/html
src/plugins/wp/doc/coqdoc/.gitignore 0 → 100644
+ 2
− 0
View file @ 64dc9a46
/VERSION
/VERSION_CODENAME
src/plugins/wp/doc/manual/cealistlogo.jpg deleted 100644 → 0
NaN GiB (NaN%)
View file @ bbe4221a
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
src/plugins/wp/doc/manual/frama-c-cover.pdf deleted 100644 → 0
NaN GiB (NaN%)
View file @ bbe4221a
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
src/plugins/wp/doc/manual/frama-c-left.pdf deleted 100644 → 0
NaN GiB (NaN%)
View file @ bbe4221a
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
src/plugins/wp/doc/manual/frama-c-right.pdf deleted 100644 → 0
NaN GiB (NaN%)
View file @ bbe4221a
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
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