projects / dports.git / commit
| author | DPorts Builder <nobody@home.ok> | |
| Wed, 3 May 2017 20:38:36 +0000 (13:38 -0700) | ||
| committer | DPorts Builder <nobody@home.ok> | |
| Wed, 3 May 2017 20:38:36 +0000 (13:38 -0700) | ||
| commit | 1c6fb625cc174f109b3757b243be0d2f95d1e26c | |
| tree | 1c69c9b059c037f485eb810bece7d3f69c685c3f | tree | snapshot |
| parent | fea4fb710ebb34a2e8aa648dec1c8a7d98cc62ac | commit | diff |
| lang/ocaml/Makefile | diff | blob | blame | history |