diff options
author | Robert Schilling <rschilling@student.tugraz.at> | 2019-01-08 22:59:08 +0300 |
---|---|---|
committer | Robert Schilling <rschilling@student.tugraz.at> | 2019-01-31 15:49:52 +0300 |
commit | ad25e14844eeb0db92f69e637eb20ee8a1328659 (patch) | |
tree | d57889550c0623d251c068c14e21c6f055f101a6 /doc | |
parent | 0ce33f6b4f30ddab14025adb16138f1589d32b6f (diff) |
Simplify label helper and correct version
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions