aboutsummaryrefslogtreecommitdiff
path: root/judge/protocol.ml
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-13 18:20:40 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-13 18:20:40 +0100
commit69b66557a8bfef7cc4d96fde120d0360f5a94d8b (patch)
tree9f290eedd788e114d19f4d33c7fb3873fdb1591a /judge/protocol.ml
parent773dcc7eb40f270a7eb8003678b05943508e9a73 (diff)
downloadCompetIA-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