matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
683 Commits 50 Branches 27 Tags 8.1 MiB
Commit Graph

9 Commits

Author SHA1 Message Date
Jeremie Dimino edb4b8f73c Add a `make release` target 
Should help with #192
 2017-07-18 10:17:53 +01:00
Ramana Venkata 5829bdb2fc Use https links for manual (#186) 2017-07-14 12:19:55 +01:00
zapashcanon e71ad02f02 Fix typo 2017-07-01 20:10:47 -04:00
Gabriel Scherer 06a179df99 fix README.md 
Two things:
1.  `[relative-path]()` does not work with Github markdown (see: [src/]()), you have to write `[relative-path](relative-path)]` (see: [src/](src/)). (`[relative-path][]` and `<relative-path>` don't work either).
2. places using the org-mode syntax `=foo=` where fixed to use backticks instead
 2017-06-29 05:24:57 -04:00
Darin Morrison 8dd66ed3d8 Fix link to example directory (#143) 2017-06-13 17:07:36 +01:00
Jeremie Dimino 1255bd22fc typo 2017-06-05 16:33:09 +01:00
Jeremie Dimino d8be1aa894 Add jbuild.mli 2017-06-02 15:00:50 +01:00
Jeremie Dimino dc43906114 Fix link 2017-06-02 13:55:11 +01:00
Jeremie Dimino b546af25c4 Convert a few files to markdown 
Markdown works better with github
 2017-06-02 13:54:23 +01:00