diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-19 12:36:56 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-19 12:36:56 +0200 |
| commit | 9e7e5f4ca31bc2d88c2dd588a24d4da8b32304a0 (patch) | |
| tree | ebcd17ec857d084401d00c9aac48f4c10d31c177 /bin/ping-to-master | |
| parent | 3ae2cff6f3f0febd73a4c3c3466e35ebedfa59db (diff) | |
| download | builder-9e7e5f4ca31bc2d88c2dd588a24d4da8b32304a0.tar.xz | |
bin/seed-build-list: cleanup + new TODO
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions