]>
2013-10-20 | bg | small bug-fix | commit | commitdiff |
2013-10-20 | bg | some minor fixes | commit | commitdiff |
2013-10-20 | bg | seems to be working ok | commit | commitdiff |
2013-10-19 | bg | removing old commands from cmd-tool | commit | commitdiff |
2013-10-19 | bg | modifying cmd-tool for new commands | commit | commitdiff |
2013-10-16 | bg | removing warnings for cmd-tool | commit | commitdiff |
2013-10-16 | bg | removing color stuff; introducing debug stuff (cmd) | commit | commitdiff |
2013-10-16 | bg | adding old command-line-tool | commit | commitdiff |