tree 4fda496b35f5458914ba7a50c14a8e30f2491ab0
parent d4da3801301626dcc8d15a4f0e58e43a001f2994
author baywatcher <baywatcher@github.com> 1608309456 +0100
committer baywatcher <baywatcher@github.com> 1608309456 +0100

Tweaks Travis CI and adds verify target to Makefile.