minor changes to the wiki-stuff (decorator)
[Misc/ipe.git] / .gitignore
2013-11-08 Thomas Bläsiusgitignore file