| 5c78047dd7a7d948367f3bed14412fbe711eb72c |
|
31-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
bumped version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18453 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |
| f4c30fc3cb38a0d5663a5fed350fe8b6e484f829 |
|
25-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
command line to create a scriptless and non-working profile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17057 cec4b9c1-7d33-0410-9eda-942365e851bb |