From: Richard W.M. Jones <rich@annexia.org>
Date: Thu, 17 Jul 2008 15:09:05 +0000 (+0000)
Subject: Rename files and libraries from bitmatch* to bitstring*
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=46d02767bf223661c05127d86878a74be0bda712;hp=f25c540aaaf288957abacbfd2034c362bb051f90;p=ocaml-bitstring.git

Rename files and libraries from bitmatch* to bitstring*
---

diff --git a/bitmatch.ml b/bitstring.ml
similarity index 100%
rename from bitmatch.ml
rename to bitstring.ml
diff --git a/bitmatch.mli b/bitstring.mli
similarity index 100%
rename from bitmatch.mli
rename to bitstring.mli
diff --git a/bitmatch_config.ml.in b/bitstring_config.ml.in
similarity index 100%
rename from bitmatch_config.ml.in
rename to bitstring_config.ml.in
diff --git a/bitmatch_objinfo.ml b/bitstring_objinfo.ml
similarity index 100%
rename from bitmatch_objinfo.ml
rename to bitstring_objinfo.ml
diff --git a/bitmatch_persistent.ml b/bitstring_persistent.ml
similarity index 100%
rename from bitmatch_persistent.ml
rename to bitstring_persistent.ml
diff --git a/bitmatch_persistent.mli b/bitstring_persistent.mli
similarity index 100%
rename from bitmatch_persistent.mli
rename to bitstring_persistent.mli
diff --git a/bitmatch_types.ml b/bitstring_types.ml
similarity index 100%
rename from bitmatch_types.ml
rename to bitstring_types.ml
diff --git a/cil-tools/bitmatch-import-prefix.h b/cil-tools/bitstring-import-prefix.h
similarity index 100%
rename from cil-tools/bitmatch-import-prefix.h
rename to cil-tools/bitstring-import-prefix.h
diff --git a/cil-tools/bitmatch_import_c.ml b/cil-tools/bitstring_import_c.ml
similarity index 100%
rename from cil-tools/bitmatch_import_c.ml
rename to cil-tools/bitstring_import_c.ml
diff --git a/pa_bitmatch.ml b/pa_bitstring.ml
similarity index 100%
rename from pa_bitmatch.ml
rename to pa_bitstring.ml