Closed chase closed 9 years ago
Adds a DropCAltAndLiga option for #33 Adds the Readme+License.html file to all the zip Adds Monoid-* to gh-pages under css/ Super fast parallel builds that actually work :smile:
Adds a DropCAltAndLiga option for #33 Adds the Readme+License.html file to all the zip Adds Monoid-* to gh-pages under css/ Super fast parallel builds that actually work :smile: