diff options
| author | John Hawthorn <john@hawthorn.email> | 2019-12-27 23:01:53 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-27 23:01:53 -0800 |
| commit | 04c342cd0bbff6f9a790ba1f3abc79517bbec096 (patch) | |
| tree | b2018b00dbdf326ac14163291423e351465e6124 /src/options.h | |
| parent | 25ebdd4f95f024bce2ec5b84f72c30bbd63ed57a (diff) | |
| parent | 475003faa06686831d7c7ae6b8b95a666ecd0986 (diff) | |
Merge pull request #125 from gpanders/ctrl-g-exit
Cancel with Ctrl-G
Diffstat (limited to 'src/options.h')
0 files changed, 0 insertions, 0 deletions