Closed mseri closed 7 years ago
178f34b 2017-02-03 TODO: specify which version will be needed 1165d91 2017-02-03 TODO: remember to add version constraints 43d5dc9 2017-02-03 opam: generate opam files with oasis2opam fdc367d 2017-02-03 update oasis generate files 35362b9 2017-02-03 _oasis: add more informations e9a6cea 2017-02-03 update gitignore dd23b37 2017-02-03 Add oasis generate make files f8194ad 2017-02-03 port vncproxy to ppx dc2fce6 2017-02-03 .merlin: add merlin support 4f424fb 2017-02-03 _oasis: update oasis file c2b34a1 2017-02-03 move to OASIS
Signed-off-by: Marcello Seri marcello.seri@citrix.com
Signed-off-by: Marcello Seri marcello.seri@citrix.com