]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 273e8f6) | patch
Matitaweb: changes in file selection dialog box.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 8 Sep 2011 12:47:37 +0000 (12:47 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 8 Sep 2011 12:47:37 +0000 (12:47 +0000)
commitf12c76e8d705aa44da328461874532e87c7fc57a
treeb7953ce1fdc16c97508a588cb875f006ac04a88dtree | snapshot
parent273e8f68de92a36c95f2ea44e6180534f47f4c70commit | diff
Matitaweb: changes in file selection dialog box.
matitaB/matita/treeview/xmlTree.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.