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

4 Commits

Author SHA1 Message Date
Rudi Grinberg 95a617ec63 Remove old api-doc page 
And incorporate it into the new documentation page
 2018-03-20 23:25:24 +08:00
Rudi Grinberg 86f918df71 Clarify about index.mld 
This isn't odoc specific
 2018-03-20 08:22:19 +08:00
Rudi Grinberg 24a0604249 Clarify hand written vs. additional pages 2018-03-20 08:16:30 +08:00
Rudi Grinberg 73231bf13e Add documentation documentation 2018-03-18 18:24:40 +08:00