diff options
| author | jaapb <jaapb@pkgsrc.org> | 2016-02-17 16:54:59 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2016-02-17 16:54:59 +0000 |
| commit | 1bfbb220f9a0f17b934cca15050285ecd2dbf84a (patch) | |
| tree | 1aaf74672abb2c693c98d80bd418c05218169599 /wm/golem | |
| parent | 40db79f9874f801006c01b730e9709f1c0b74de5 (diff) | |
| download | pkgsrc-1bfbb220f9a0f17b934cca15050285ecd2dbf84a.tar.gz | |
Added ppx and camlp4 options.
Diffstat (limited to 'wm/golem')
0 files changed, 0 insertions, 0 deletions