diff options
author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-13 18:20:40 +0100 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-11-13 18:20:40 +0100 |
commit | 69b66557a8bfef7cc4d96fde120d0360f5a94d8b (patch) | |
tree | 9f290eedd788e114d19f4d33c7fb3873fdb1591a /judge/protocol.ml | |
parent | 773dcc7eb40f270a7eb8003678b05943508e9a73 (diff) | |
download | CompetIA-69b66557a8bfef7cc4d96fde120d0360f5a94d8b.tar.gz CompetIA-69b66557a8bfef7cc4d96fde120d0360f5a94d8b.zip |
Improve performance by removing useless GUI updates.
Diffstat (limited to 'judge/protocol.ml')
0 files changed, 0 insertions, 0 deletions