7 Commits

Author	SHA1	Message	Date
Rob Rix	dde5258324	Exclude a bunch of one-off files.	2019-10-30 09:21:24 -04:00
Rob Rix	b9a71d4b97	Exclude .git.	2019-10-30 09:21:19 -04:00
Rob Rix	f93e33aa5e	Don’t send bench, script, or test either.	2019-10-30 09:17:40 -04:00
Rob Rix	c6a9b59b56	Don’t send semantic-source to the docker daemon.	2019-10-30 09:14:24 -04:00
Timothy Clem	5ef7b8f623	Few more dockerignores	2019-09-20 11:24:46 -07:00
Timothy Clem	c62a7accf5	OK, try layer caching again now that we don't submodule	2019-06-10 13:18:08 -07:00
Douglas Creager	353c99db2d	Add a Dockerfile that builds the CLI tool	2019-06-05 09:51:31 -04:00