diff options
| author | Robert Norton | 2018-04-26 11:14:11 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-26 11:49:57 +0100 |
| commit | 1bd54ce4c7d85b150f2200abeed0dff67087837c (patch) | |
| tree | 9b2a1d727e98317deb2226c5bdb9f0a5fe4f1eb7 /test | |
| parent | e18d8f85058f50043e600c4a0c32937a24777438 (diff) | |
Opam packaging: add install and uninstall targets and code to find various files in installed location.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions