tree 88593aaa3aee886fe3e45a915fc3301f45a6cb5b
parent 4600719cc5ce4c7761e527bb5d4ba8aebca267ac
author Philipp Wollermann <philwo@google.com> 1516367754 +0100
committer Philipp Wollermann <philwo@google.com> 1517750569 +0100

Remove Docker agents as they're no longer used.

Change-Id: I8a565354c5dbd91e5d18e28f6951cf9898e1659a