Allow bitmatch-import-prefix.h to be installed centrally.
authorRichard W.M. Jones <rich@annexia.org>
Tue, 1 Jul 2008 14:15:18 +0000 (14:15 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Tue, 1 Jul 2008 14:15:18 +0000 (14:15 +0000)
commit627afca249c9e969e7a8d67c9cc3b9faf2947797
tree11ae4037e4d42314c167af1a422fbc610f9c001b
parent3323b2cf2fa267385714017979d1ab2a447c4b06
Allow bitmatch-import-prefix.h to be installed centrally.
cil-tools/.depend
cil-tools/bitmatch_import_c.ml