summaryrefslogtreecommitdiff
path: root/_oasis
Commit message (Expand)AuthorAgeFilesLines
* bump versionv2.0Philipp Gesang2018-12-091-1/+1
* fix opam build, bump versionv1.1Philipp Gesang2018-11-061-1/+1
* fix tests and bump versionv1Philipp Gesang2018-11-051-2/+2
* add linking exception to licensePhilipp Gesang2018-11-031-2/+2
* oasis: add documentation targetPhilipp Gesang2018-11-031-8/+17
* util: sidparse_test. add trivial test wrapperPhilipp Gesang2018-10-281-0/+6
* util/sidparse: add cli SID utilityPhilipp Gesang2018-10-281-0/+5
* _oasis: opam: nix: add build and env setupPhilipp Gesang2018-10-281-0/+27