diff options
| author | Seth Hitefield <sdh11@vt.edu> | 2014-08-25 16:34:45 -0400 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-26 10:12:34 +0200 |
| commit | 3c165ab4a17473de1e642830c74027274f4a5a5c (patch) | |
| tree | a30bbeb017cc030bed2be3ab12e5c38052387111 /grc/python/Platform.py | |
| parent | 7f93764ed17c4ad741c41d62e3acdbfd1a485d10 (diff) | |
grc: Reload marks page as modified only if an error occured during import (i.e. ports no longer exist)
Diffstat (limited to 'grc/python/Platform.py')
0 files changed, 0 insertions, 0 deletions