diff options
| author | drebs <drebs@riseup.net> | 2017-10-06 09:21:36 -0300 |
|---|---|---|
| committer | drebs <drebs@riseup.net> | 2017-10-09 08:01:41 -0300 |
| commit | b18887a7492eaaddc3a3f30676e9340d80b44247 (patch) | |
| tree | 21426c609c6f9e6bbf657a63312efaa167e9fea5 /scripts/profiling/sync/run_plop_server.sh | |
| parent | 86502b5fc3ea948f387fec33190eacd71db45c0a (diff) | |
[doc] add pipeline badge to readme
Diffstat (limited to 'scripts/profiling/sync/run_plop_server.sh')
0 files changed, 0 insertions, 0 deletions