diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-03 18:01:00 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-03 18:01:00 -0700 |
| commit | a12b10c008c4cce58db3b128349b7d9ce1a61296 (patch) | |
| tree | bc9be55b13e73854391b9140b4575d8d04225d39 /profile.c | |
| parent | d211bc55be8420ca5d6bc6a252f9318fc9c4fc43 (diff) | |
| download | subsurface-a12b10c008c4cce58db3b128349b7d9ce1a61296.tar.gz | |
Ask before discarding edits
This is equivalent to what we do for the planner.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'profile.c')
0 files changed, 0 insertions, 0 deletions