projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 5 Jan 2018 20:17:18 +0000 (21:17 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 5 Jan 2018 20:17:18 +0000 (21:17 +0100) | ||
| commit | bf7be462a06e739b39af20f72362857e849a2aa0 | |
| tree | 1a09ee5d1abd02391e7baf163f2bf016e121e759 | tree | snapshot |
| parent | 8e613bb927e9f70ad274e89edd10babda2a678cf | commit | diff |
| matita/matita/matita.conf.xml.in | diff | blob | history |