commit | 6d7a3e3a0d5399e1628dffc04833b25ce2c272f0 | [log] [tgz] |
---|---|---|
author | Philipp Wollermann <philwo@google.com> | Sat Apr 07 22:11:41 2018 +0200 |
committer | Philipp Wollermann <philwo@google.com> | Sat Apr 07 22:11:41 2018 +0200 |
tree | ba802770330fa759540ef566b904622d4cf8e0a8 | |
parent | 82d07a5ba742f816892c7560c7ffb73d7123e86f [diff] |
Remove no longer used Jenkins CI files.