Closed jonludlam closed 1 year ago
I don't think a changelog entry is needed for this.
@jonludlam I think you accidentally pushed the mld support commit. If you remove it the code is good to be merged in my opinion.
gah! so I did...
I wasn't trying to sneak it in, honest :-)
Great, thanks!
Use odoc's location conversion to simplify the extraction of code blocks from mli files. Also generally tidy it up and add some documentation.