]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4da6abc)
contentPp.ml (dead code) removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Sep 2006 14:05:58 +0000 (14:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Sep 2006 14:05:58 +0000 (14:05 +0000)
components/acic_content/Makefile patch | blob | history

diff --git a/components/acic_content/Makefile b/components/acic_content/Makefile
index 862a9eefb7621142d08c15ea75279b2ee4e090ed..72aa997d15ae21b778b7988eb6a09dc0fc8dd368 100644 (file)
--- a/components/acic_content/Makefile
+++ b/components/acic_content/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        content.mli             \
-       contentPp.mli           \
        acic2content.mli        \
        content2cic.mli         \
        cicNotationUtil.mli     \
Unnamed repository; edit this file 'description' to name the repository.