projects / dports.git / commit
| author | DPorts Builder <nobody@home.ok> | |
| Fri, 6 Dec 2019 22:07:33 +0000 (14:07 -0800) | ||
| committer | DPorts Builder <nobody@home.ok> | |
| Fri, 6 Dec 2019 22:07:33 +0000 (14:07 -0800) | ||
| commit | b105c3011fa2137de247ae0ebd14342adeb21240 | |
| tree | 9acb840101bee8ca8e08d97fdf42e1b8ccc6366f | tree | snapshot |
| parent | 638822ff62f15b4cf19c94312c12c27f886c2321 | commit | diff |
| lang/ocaml/Makefile | diff | blob | blame | history |