diff options
| author | Ulrich Bauer <ulrich.bauer@tum.de> | 2016-07-19 12:18:51 +0200 |
|---|---|---|
| committer | Ulrich Bauer <ulrich.bauer@tum.de> | 2016-07-21 13:58:50 +0200 |
| commit | 62fd849ae67d4e6429a642402d20c3f53ba176d6 (patch) | |
| tree | c62815653d7fba30db02ecd16b529fe723aef34e /Makefile | |
| parent | f5ac0090b0bcea62bd747a6d68a1e25311b7fa3b (diff) | |
renamed --dim command line option
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions