projects / dports.git / commit
| author | Automaton <nobody@home.ok> | |
| Fri, 5 Apr 2013 06:37:51 +0000 (08:37 +0200) | ||
| committer | Automaton <nobody@home.ok> | |
| Fri, 5 Apr 2013 06:37:51 +0000 (08:37 +0200) | ||
| commit | 928ded558fca8004fe92e57e4d2b6d0a17f828ca | |
| tree | 42e0f7eea66c1defaa19042f15e3828b1dfda8e3 | tree | snapshot |
| parent | cd1c11f35b267d96d95e24186d882c62220c3c0b | commit | diff |
| math/proofgeneral/Makefile | diff | blob | blame | history | |
| math/proofgeneral/pkg-plist | diff | blob | blame | history |