Skip to content
Snippets Groups Projects
Commit c4643b55 authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

[mdr] move plugin mli into its own gitignore

parent 5069a8b4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitignore
+ 0
− 1
View file @ c4643b55
...@@ -209,4 +209,3 @@ hello-*.tar.gz ...@@ -209,4 +209,3 @@ hello-*.tar.gz
/tests/crowbar/integer_bb_pretty /tests/crowbar/integer_bb_pretty
/src/plugins/gui/dgraph_helper.ml /src/plugins/gui/dgraph_helper.ml
/doc/doxygen /doc/doxygen
/src/plugins/markdown-report/Report_markdown.mli
src/plugins/markdown-report/.gitignore
+ 1
− 0
View file @ c4643b55
...@@ -8,3 +8,4 @@ top/ ...@@ -8,3 +8,4 @@ top/
.merlin .merlin
*~ *~
/mdr_version.ml /mdr_version.ml
/Report_markdown.mli
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