Carl D. Roth e13ab6ad95 Clean up gitroot

2019-09-27 23:01:48 +00:00

..

container-id

tools: use /usr/bin/python2 instead of /usr/bin/python

2017-06-30 11:40:29 +02:00

docker_shell

updated per capveg suggestions

2016-02-02 23:23:36 +00:00

gitroot

Clean up gitroot

2019-09-27 23:01:48 +00:00

Makefile

Docker infra.

2015-11-23 11:10:08 -08:00

onlbuilder

add --rm option to docker builder

2019-09-27 23:01:47 +00:00

PKG.yml

Move the builder8:1.10

2018-12-31 09:52:37 -08:00