diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-12-29 07:00:19 +0100 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-12-29 07:00:19 +0100 |
| commit | 02c6e85a988149a2ee5d3f54e5120b664c5d6716 (patch) | |
| tree | 34ee52f625deb2490cc47eef68c4645fbda8febc /src/InputReader.h | |
| parent | a62e05c9564045044df734fd3723b3f665ad91ae (diff) | |
| download | dabmod-02c6e85a988149a2ee5d3f54e5120b664c5d6716.tar.gz dabmod-02c6e85a988149a2ee5d3f54e5120b664c5d6716.tar.bz2 dabmod-02c6e85a988149a2ee5d3f54e5120b664c5d6716.zip | |
Shorten TII name() printout
Diffstat (limited to 'src/InputReader.h')
0 files changed, 0 insertions, 0 deletions