diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 11:04:19 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:04:19 +0100 |
| commit | 90750bad1b9337731f7ba45b7d4a15544b0e51f6 (patch) | |
| tree | ac130c36464a0fc7ee1b0232050ea18ccb6a3b6f /bin/ping-to-master | |
| parent | 15bcbb428a3c1b87511c244d32ab628e52e9cd54 (diff) | |
| download | builder-90750bad1b9337731f7ba45b7d4a15544b0e51f6.tar.xz | |
lib/intentions-queue: intentions_left() new
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions