diff options
-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 |