Commit Graph

3 Commits

Author SHA1 Message Date
Jeremie Dimino aab3878dd8 ignore errors in oasis-generated code
They are none of our concern...
2016-03-02 17:47:00 +00:00
Peter Zotov 35419a3284 Expose API documentation on github pages.
Also, unbreak documentation builds with style.css,
and use @dbuenzli's style, which is quite nicer than
the existing one.
2014-10-28 03:40:23 +03:00
Jérémie Dimino 6e911b41dc Add a Makefile
It compiles setup.ml to a native executable.
2012-10-17 11:36:33 +02:00