]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de7b707) | patch
* cleanup
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 18:48:38 +0000 (18:48 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 18:48:38 +0000 (18:48 +0000)
commitf71c2a9890c7e2443f7fa46df385053f354240a5
treef6622a62f82545757534497d88cc1ae920a5612atree | snapshot
parentde7b7072038c6cf8f38758164287a72c04ca01cfcommit | diff
* cleanup
helm/DEVEL/mathml_editor/test/guiGTK.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.