projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 8 Feb 2006 17:14:06 +0000 (17:14 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 8 Feb 2006 17:14:06 +0000 (17:14 +0000) | ||
| commit | db8577d788a84ecb10eb59e70bed233fc159d2f6 | |
| tree | d982da080a601f8bf44c5ea250b795c22ec6455e | tree | snapshot |
| parent | a8e6d577bec6e14b6d76742a9ede4f711734ec55 | commit | diff |
| matita/dist/configure.ac.sed | diff | blob | history |