Getting Started
Documentation
Organisations
art-w
sherlodoc
sherlodoc
https://github.com/art-w/sherlodoc
Default Branch
master
Merge pull request #25 from art-w/remove_weird_warnings remove weird warnings
77ecc8
-
Jan 21 14:09 +00:00
Passed in 12m57s
Refs Branches (1)
Odoc compatibility
Raise lower bound on odoc following update to odoc 3
451f01
-
#46
Failed in 0s