Closed jml closed 6 years ago
Drops documentation builds for now. We weren't really using them.
Should follow up with hlint & hindent steps.
Merging without review to give CircleCI a kick in the pants. Please feel free to do post-merge review.
Drops documentation builds for now. We weren't really using them.
Should follow up with hlint & hindent steps.