tree ba802770330fa759540ef566b904622d4cf8e0a8
parent 82d07a5ba742f816892c7560c7ffb73d7123e86f
author Philipp Wollermann <philwo@google.com> 1523131901 +0200
committer Philipp Wollermann <philwo@google.com> 1523131901 +0200

Remove no longer used Jenkins CI files.