rename files

2025-12-06 03:05:29 -05:00 · 2017-02-02 21:20:27 +01:00 · 2017-02-02 21:20:27 +01:00 · fa26fa0f27
commit fa26fa0f27
parent b45153a25c
3 changed files with 1 additions and 1 deletions
--- a/src/Sequence.ml
+++ b/src/Sequence.ml
--- a/src/Sequence.mli
+++ b/src/Sequence.mli
--- a/src/sequenceLabels.ml
+++ b/src/sequenceLabels.ml
@ -1 +1 @@
-sequence.ml
+Sequence.ml