3 Commits

Author	SHA1	Message	Date
Christoph Blecker	fad14ac876	Track and compare working group dirs too	2017-10-25 13:52:40 -07:00
Christoph Blecker	c08c4ae2f9	Don't use docker by default for sig docs generator	2017-10-24 23:12:43 -07:00
Christoph Blecker	b73865f44c	Add verify make rule	2017-07-28 12:19:30 -07:00