Merge branch 'typeclass'
commitab6b3f060dd1559381dcba05aca1669f4cbe8e0e
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 29 Jan 2017, 22:06 (10 years ago)
parent92f9d51c4ba8ba
default.docbook → default.docbook4renamed
The content is the same.
default.epub → default.epub2renamed
The content is the same.
default.html → default.html4renamed
The content is the same.