aboutsummaryrefslogtreecommitdiff
path: root/judge/g_util.ml
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-13 18:24:36 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-13 18:24:36 +0100
commit28cdfd263c9353010c8868ab2316cddeced20d4a (patch)
tree91258f04e16ddfe4e042e1036f5c6f440be4d3f0 /judge/g_util.ml
parent69b66557a8bfef7cc4d96fde120d0360f5a94d8b (diff)
downloadCompetIA-28cdfd263c9353010c8868ab2316cddeced20d4a.tar.gz
CompetIA-28cdfd263c9353010c8868ab2316cddeced20d4a.zip
Fix indentation
Diffstat (limited to 'judge/g_util.ml')
0 files changed, 0 insertions, 0 deletions