[Agda-dev] Run the testsuite before pushing to master

[Nils Anders Danielsson]

On 10/04/2019 15.30, Andrea Vezzosi wrote:
> ! Undefined control sequence.
> l.12 \newfontfamily
>                     {\AgdaSerifFont}{Linux Libertine O}

This command can be found in several files.

-- 
/NAD