]> matita.cs.unibo.it Git - helm.git/commit
updated comment
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 May 2009 10:52:37 +0000 (10:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 May 2009 10:52:37 +0000 (10:52 +0000)
commit91f0c0e84bfe6bf22e960d466e16f7260a2882ee
tree728624c2ecf0a8f04f21d96f23a46de95ab79f5f
parent70660e05baa914569c52555230901d5a8dd92f0b
updated comment
helm/software/components/ng_refiner/nCicMetaSubst.mli