Closed chase closed 9 years ago
What's new:
Source/Monoid*.sfdir
MonoidDiacritics.sfdir
Diacritics.sfdir
Scripts
build.py
circle.yml
What's new:
Source/Monoid*.sfdir
are builtMonoidDiacritics.sfdir
was moved toDiacritics.sfdir
Scripts
directorybuild.py
is still the config file but now resides inScripts
circle.yml
must remain on the top-level for CircleCI to detect it