Rename files and libraries from bitmatch* to bitstring*
authorRichard W.M. Jones <rich@annexia.org>
Thu, 17 Jul 2008 15:09:05 +0000 (15:09 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Thu, 17 Jul 2008 15:09:05 +0000 (15:09 +0000)
commit46d02767bf223661c05127d86878a74be0bda712
tree933c6e63dd933a4b527d796c129a62002cea5c33
parentf25c540aaaf288957abacbfd2034c362bb051f90
Rename files and libraries from bitmatch* to bitstring*
bitstring.ml [moved from bitmatch.ml with 100% similarity]
bitstring.mli [moved from bitmatch.mli with 100% similarity]
bitstring_config.ml.in [moved from bitmatch_config.ml.in with 100% similarity]
bitstring_objinfo.ml [moved from bitmatch_objinfo.ml with 100% similarity]
bitstring_persistent.ml [moved from bitmatch_persistent.ml with 100% similarity]
bitstring_persistent.mli [moved from bitmatch_persistent.mli with 100% similarity]
bitstring_types.ml [moved from bitmatch_types.ml with 100% similarity]
cil-tools/bitstring-import-prefix.h [moved from cil-tools/bitmatch-import-prefix.h with 100% similarity]
cil-tools/bitstring_import_c.ml [moved from cil-tools/bitmatch_import_c.ml with 100% similarity]
pa_bitstring.ml [moved from pa_bitmatch.ml with 100% similarity]