]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04e0792) | patch
_ in place of unused variables
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 16:00:49 +0000 (16:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 16:00:49 +0000 (16:00 +0000)
commitf1b339562f75ff5963df120cce1d0fcb452c67db
treea77e94f33897198454c516d9e29b3a80adee1689tree | snapshot
parent04e07924ddd8d0a95e01103103bd8c2a3e79c6c5commit | diff
_ in place of unused variables
helm/software/components/ng_kernel/nCicSubstitution.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.