Mehr javadoc & remove dice3d ordner

This commit is contained in:
joachimschmidt557 2019-03-20 18:09:32 +01:00
parent 6f8b981cea
commit 6431df6bf4
10 changed files with 104 additions and 541 deletions

View file

@ -24,6 +24,8 @@ javadoc:
- cp -r Projektgruppe_*/src/package-list public/
- cp -r Projektgruppe_*/src/script.js public/
- cp -r Projektgruppe_*/src/base/*.html public/base/
- cp -r Projektgruppe_*/src/game/*.html public/game/
- cp -r Projektgruppe_*/src/gui/*.html public/gui/
artifacts:
paths:
- public