From fa26fa0f274199dbd3a8d5f472dbd16075409eae Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 2 Feb 2017 21:20:27 +0100 Subject: [PATCH] rename files --- src/{sequence.ml => Sequence.ml} | 0 src/{sequence.mli => Sequence.mli} | 0 src/sequenceLabels.ml | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) rename src/{sequence.ml => Sequence.ml} (100%) rename src/{sequence.mli => Sequence.mli} (100%) diff --git a/src/sequence.ml b/src/Sequence.ml similarity index 100% rename from src/sequence.ml rename to src/Sequence.ml diff --git a/src/sequence.mli b/src/Sequence.mli similarity index 100% rename from src/sequence.mli rename to src/Sequence.mli diff --git a/src/sequenceLabels.ml b/src/sequenceLabels.ml index 663d7cb..b990b32 120000 --- a/src/sequenceLabels.ml +++ b/src/sequenceLabels.ml @@ -1 +1 @@ -sequence.ml \ No newline at end of file +Sequence.ml \ No newline at end of file