comparison Makefile @ 13:cf81eb0c2d5a

Warn before quitting if there are unsaved changes If there are unsaved changes emit a warning when the quit command is used. Only quit if the quit command is used twice with no other command in between. Add a new Quit command which immediatly quits pwm without a warning.
author Guido Berhoerster <guido+pwm@berhoerster.name>
date Mon, 07 Aug 2017 16:59:47 +0200
parents 8768fbd09bc5
children a08ef0674d8e
comparison
equal deleted inserted replaced
12:8768fbd09bc5 13:cf81eb0c2d5a