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/changelog | |
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/changelog')
0 files changed, 0 insertions, 0 deletions