projects / dports.git / commit
| author | DPorts Builder <nobody@home.ok> | |
| Wed, 23 Jul 2014 00:55:09 +0000 (17:55 -0700) | ||
| committer | DPorts Builder <nobody@home.ok> | |
| Wed, 23 Jul 2014 00:55:09 +0000 (17:55 -0700) | ||
| commit | 1d18520212d82cca61c8a954117d957aaff36498 | |
| tree | ca63a809e8c836767b9b19d8be0db18bb996be00 | tree | snapshot |
| parent | 844bebea4f16682bb2ca1a59ea1352a32ec164b7 | commit | diff |
| math/proofgeneral/Makefile | diff | blob | blame | history | |
| math/proofgeneral/pkg-plist | diff | blob | blame | history |