diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-18 19:39:28 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-18 19:39:28 +0100 |
| commit | a184ad0a8a36c94669b6e07c311f4177a38edb63 (patch) | |
| tree | 700a7ddfeec039d3fe43bfd6f352d047ffbee935 /config.xml | |
| parent | 6893733a646d9e697b85feef39dc047c70dd601c (diff) | |
Disable editor while waiting for hint/test results
Diffstat (limited to 'config.xml')
0 files changed, 0 insertions, 0 deletions