aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore2
-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
diff --git a/.gitignore b/.gitignore
index 3f1e764..262dedf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,7 @@
*.swp
*~
-juge/_build/*
+judge/_build/*
*.native
*.byte
diff --git a/juge/_tags b/judge/_tags
index eb13bea..eb13bea 100644
--- a/juge/_tags
+++ b/judge/_tags
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