diff options
| author | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-08-19 19:08:06 +0200 |
|---|---|---|
| committer | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-08-19 19:20:54 +0200 |
| commit | aa8aef6ea9bc2823119ca06936aff9828c75d83e (patch) | |
| tree | acdfe9ece8f9b0bbefc92b8b1d773d358db2aca8 /debian/source/format | |
| parent | db9dd171c658a1ea232abde229da7d59a737eff4 (diff) | |
| download | qtmips-aa8aef6ea9bc2823119ca06936aff9828c75d83e.tar.gz qtmips-aa8aef6ea9bc2823119ca06936aff9828c75d83e.tar.bz2 qtmips-aa8aef6ea9bc2823119ca06936aff9828c75d83e.zip | |
Action to execute external make command and ask for unsaved sources.
Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions