3 commits

Author	SHA1	Message	Date
Jason Volk	61c94e7e52	tools/docker: Add git package for git-describe.	2020-03-09 19:16:30 -07:00
Jason Volk	0958bdf286	tools/docker: Add ubuntu 18.04 clang-9.	2020-03-09 09:11:14 -07:00
Jason Volk	3cf10f853f	tools/docker: Start directory; rename dockerfile as platform-elaborated; update appveyor.	2020-03-09 09:03:47 -07:00