diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-16 11:49:41 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:33 +0200 |
commit | 12ac3054bf4288403babb172c125cdc98cfff012 (patch) | |
tree | 978ffdb3a6699edd6a47ca0f86a3055e8baa6d54 /sandbox | |
parent | fb4f8ce66c406bfb6376396ea0521df063b883e9 (diff) | |
download | dotty-12ac3054bf4288403babb172c125cdc98cfff012.tar.gz dotty-12ac3054bf4288403babb172c125cdc98cfff012.tar.bz2 dotty-12ac3054bf4288403babb172c125cdc98cfff012.zip |
Add ability to choose between fancy and non-fancy output
Diffstat (limited to 'sandbox')
0 files changed, 0 insertions, 0 deletions