| 8191ab400cc9ebb5a3f6c6f18104a208aae187e8 |
|
27-Jun-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to platypus-4.8, adjusted hets version and add -fs option to hdiutil create |
| 186de7a36bdf5910e0616c3a0447603e98217dc7 |
|
25-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved options to out of script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17058 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 52dc3a3b27f1bdd5128c89f96e1a5444a96474d8 |
|
24-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
platypus profile for hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17052 cec4b9c1-7d33-0410-9eda-942365e851bb |