projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 11 Mar 2009 12:07:19 +0000 (12:07 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 11 Mar 2009 12:07:19 +0000 (12:07 +0000) | ||
| commit | 347a92a83c3fa154c850d94b1a211fbb8334d4f1 | |
| tree | 71e7eb206bc06130b379de0e9d0dba22ea1c4279 | tree | snapshot |
| parent | 1eae83d9c648acdea55d333aba67fcc252b54bea | commit | diff |
| helm/software/components/ng_kernel/.depend | diff | blob | history | |
| helm/software/components/ng_kernel/.depend.opt | diff | blob | history | |
| helm/software/matita/.depend.opt | diff | blob | history |