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