diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-03 15:26:06 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-03 15:30:27 -0700 |
| commit | 09403f37245e95d851d4470445729afab46fc0fe (patch) | |
| tree | 098836ef6e9c2380a0fe06fb28c639073f1a27bd /profile.c | |
| parent | 49053e86aa61a359a15eda0e67b4fa2c293122e0 (diff) | |
| download | subsurface-09403f37245e95d851d4470445729afab46fc0fe.tar.gz | |
Planner: reject plan if escape key is pressed
This seems intuitive.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'profile.c')
0 files changed, 0 insertions, 0 deletions