diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-11-08 23:09:37 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-11-08 23:09:37 +0100 |
| commit | e720e1dfcddd8eb38fa562cc197b39f14d2fa7a5 (patch) | |
| tree | e9d605979cac1ddae50f77a130fa8abc0ab5e1f9 | |
| parent | 1ae5103457a1d6694e68a8b0e5225cb348ebd978 (diff) | |
| download | CompetIA-e720e1dfcddd8eb38fa562cc197b39f14d2fa7a5.tar.gz CompetIA-e720e1dfcddd8eb38fa562cc197b39f14d2fa7a5.zip | |
Correct monstruous error.
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | judge/_tags (renamed from juge/_tags) | 0 | ||||
| -rw-r--r-- | judge/core.ml (renamed from juge/core.ml) | 0 | ||||
| -rw-r--r-- | judge/protocol.ml (renamed from juge/protocol.ml) | 0 |
4 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ *.swp *~ -juge/_build/* +judge/_build/* *.native *.byte diff --git a/juge/core.ml b/judge/core.ml index e7c44e8..e7c44e8 100644 --- a/juge/core.ml +++ b/judge/core.ml diff --git a/juge/protocol.ml b/judge/protocol.ml index 3f6d548..3f6d548 100644 --- a/juge/protocol.ml +++ b/judge/protocol.ml |