]> matita.cs.unibo.it Git - helm.git/commit
removed useless file
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 13:07:54 +0000 (13:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 13:07:54 +0000 (13:07 +0000)
commitdc58e20b610718080da9a4bdb4db4ac7780be8f9
tree5b0ea1e3bfd2b2284787523058c97dfe05b1e669
parent81d304b7fa0eb64d27478e88bb2af60a0d460aa8
removed useless file
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/.depend.opt
helm/software/components/ng_kernel/Makefile
helm/software/components/ng_kernel/oCicTypeChecker.ml [deleted file]
helm/software/components/ng_kernel/oCicTypeChecker.mli [deleted file]