projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 15 Oct 2020 09:45:14 +0000 (11:45 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 15 Oct 2020 09:45:14 +0000 (11:45 +0200) | ||
| commit | c41d664b002c148fe5f856aeb8cbe13b154cc20d | |
| tree | df7a5b4e0e6c826737fc150cf24d6f5af54d47c0 | tree | snapshot |
| parent | bc27cc1925469ddcd2bc3cd4036a6ea8067c5da1 | commit | diff |
| matita/matita/contribs/lambdadelta/static_2/static/gcp_aaa.ma | diff | blob | history |