Final touches before the major rewrite (#30)

RedPRL · Jul 20, 2020 · 68a7dd4 · 68a7dd4
1 parent bd050e9
commit 68a7dd4
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/src/yuujinchou.ml → src/Yuujinchou.ml b/src/yuujinchou.ml → src/Yuujinchou.ml
diff --git a/src/yuujinchou.mli → src/Yuujinchou.mli b/src/yuujinchou.mli → src/Yuujinchou.mli
diff --git a/src/dune b/src/dune
@@ -1,5 +1,5 @@
 (library
- (name yuujinchou)
+ (name Yuujinchou)
  (preprocess
   (pps ppx_deriving.std))
  (public_name yuujinchou))