]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2a2f53) | patch
* fixed profiling flags
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 09:52:24 +0000 (09:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 09:52:24 +0000 (09:52 +0000)
commit9df9d23fa83cab169e5219aa40e0e50ab1dbb7d3
tree65845f2fdc89b7e5fd5be7fd7333321f1a67620btree | snapshot
parenta2a2f53d6c5b477bbad3f1a2dd2a90207271e421commit | diff
* fixed profiling flags
helm/DEVEL/mathml_editor/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.