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/dummy_game.ml | |
| parent | 773dcc7eb40f270a7eb8003678b05943508e9a73 (diff) | |
| download | CompetIA-69b66557a8bfef7cc4d96fde120d0360f5a94d8b.tar.gz CompetIA-69b66557a8bfef7cc4d96fde120d0360f5a94d8b.zip | |
Improve performance by removing useless GUI updates.
Diffstat (limited to 'judge/dummy_game.ml')
0 files changed, 0 insertions, 0 deletions