diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-03-02 21:23:39 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-03-02 21:23:39 +0100 |
| commit | fb0cdfe743869f6592090e441a071f0904a80634 (patch) | |
| tree | 60a6caee28ab702efb2a3e72b6cf5644ca1949c1 /Makefile | |
| parent | 39dbc1934d506f4b1da32621a8ff7e2e165a0bb0 (diff) | |
Optimize terminal usage
The ^C-catching stuff will not work on windows; need to look into that
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions