From 46d02767bf223661c05127d86878a74be0bda712 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 17 Jul 2008 15:09:05 +0000 Subject: [PATCH] Rename files and libraries from bitmatch* to bitstring* --- bitmatch.ml => bitstring.ml | 0 bitmatch.mli => bitstring.mli | 0 bitmatch_config.ml.in => bitstring_config.ml.in | 0 bitmatch_objinfo.ml => bitstring_objinfo.ml | 0 bitmatch_persistent.ml => bitstring_persistent.ml | 0 bitmatch_persistent.mli => bitstring_persistent.mli | 0 bitmatch_types.ml => bitstring_types.ml | 0 cil-tools/{bitmatch-import-prefix.h => bitstring-import-prefix.h} | 0 cil-tools/{bitmatch_import_c.ml => bitstring_import_c.ml} | 0 pa_bitmatch.ml => pa_bitstring.ml | 0 10 files changed, 0 insertions(+), 0 deletions(-) rename bitmatch.ml => bitstring.ml (100%) rename bitmatch.mli => bitstring.mli (100%) rename bitmatch_config.ml.in => bitstring_config.ml.in (100%) rename bitmatch_objinfo.ml => bitstring_objinfo.ml (100%) rename bitmatch_persistent.ml => bitstring_persistent.ml (100%) rename bitmatch_persistent.mli => bitstring_persistent.mli (100%) rename bitmatch_types.ml => bitstring_types.ml (100%) rename cil-tools/{bitmatch-import-prefix.h => bitstring-import-prefix.h} (100%) rename cil-tools/{bitmatch_import_c.ml => bitstring_import_c.ml} (100%) rename pa_bitmatch.ml => pa_bitstring.ml (100%) 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 -- 1.8.3.1