diff options
author | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-08-22 13:47:41 +0200 |
---|---|---|
committer | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-08-22 13:47:41 +0200 |
commit | 6c09f661b83dd13a8403243c1441efa5c4900538 (patch) | |
tree | fe32eed92f284d08455461c02c158226d760ac4c /debian/docs | |
parent | a385be02219abc1fd751908e559286dc1a370e12 (diff) | |
download | qtmips-6c09f661b83dd13a8403243c1441efa5c4900538.tar.gz qtmips-6c09f661b83dd13a8403243c1441efa5c4900538.tar.bz2 qtmips-6c09f661b83dd13a8403243c1441efa5c4900538.zip |
In include, use content from editor if file is already open.
This allows to assemble from modified include files without
need to save their content the first.
Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions