ignore GUI binaries

parent 74cded5f
......@@ -45,6 +45,9 @@ why.conf
/bin/why3ide.byte
/bin/why3ide.opt
/bin/why3ide
/bin/why3gui.byte
/bin/why3gui.opt
/bin/why3gui
/bin/why3-cpulimit
/bin/why3config.byte
/bin/why3config.opt
......
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