projects / Mograsim.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'development' of https://gitlab.lrz.de/lrr-tum/students/eragp-misim...
[Mograsim.git] / net.mograsim.plugin.docs / build.properties
1 bin.includes = plugin.xml,\\r
2                META-INF/,\\r
3                .,\\r
4                html/,\\r
5                *.xml\r
Mirror of https://github.com/Mograsim-Team/Mograsim