aboutsummaryrefslogtreecommitdiff
path: root/judge/player.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-10 14:38:06 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-11-10 14:38:06 +0100
commit81f0d69813aecd22f3c1c24cf0fee35f8cfdf57b (patch)
tree9620dd4f8d88693e9a9c58ff1377215e02cf2cb3 /judge/player.ml
parent12622a51b1591d3ecab970612ade4d912469b456 (diff)
downloadCompetIA-81f0d69813aecd22f3c1c24cf0fee35f8cfdf57b.tar.gz
CompetIA-81f0d69813aecd22f3c1c24cf0fee35f8cfdf57b.zip
Add file descriptor freeing.
Diffstat (limited to 'judge/player.ml')
0 files changed, 0 insertions, 0 deletions