projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 15:11:24 +0000 (16:11 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 15:11:24 +0000 (16:11 +0100) | ||
| commit | d019d378b91936e8d40e7094e89b8d7b827f4e26 | |
| tree | 6a42c40442a87a03e72bd06c793b297df0cca530 | tree | snapshot |
| parent | 2e481fd54d89b2a48f6f38f9562125136aa41d83 | commit | diff |
| matita/matita/matita.glade | [deleted file] | blob | history |