Hand merge of MR !31: Update the CI infrastructure to be faster

This commit is contained in:
Eric S. Raymond 2017-06-02 06:42:35 -04:00
parent 67d8c99e53
commit f373d87ba7
3 changed files with 41 additions and 9 deletions

3
.gitignore vendored
View file

@ -3,4 +3,5 @@ advent
compile
database.h
database.c
advent.6
advent.html