summaryrefslogtreecommitdiff
path: root/voctogui
diff options
context:
space:
mode:
authorBjoern Riemer <bjoern.riemer@tu-berlin.de>2016-01-13 12:37:02 +0100
committerBjoern Riemer <bjoern.riemer@tu-berlin.de>2016-01-13 12:37:02 +0100
commit77766845052fb3e88b40717988c77c1964cb4a90 (patch)
tree45521d89e991f4b525557053ac7bc389c1e7d1dd /voctogui
parent709feffbb54c651869ea9e952600a4173e324fc9 (diff)
add --timestamp arg to voctocore
Diffstat (limited to 'voctogui')
0 files changed, 0 insertions, 0 deletions