bin/prioritize-build-list: work with pipes, too - builder

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

diff options

author	Erich Eckner <git@eckner.net>	2018-06-13 11:32:18 +0200
committer	Erich Eckner <git@eckner.net>	2018-06-13 11:32:18 +0200
commit	c690de69ca33398530e8f00823538baf0d928d87 (patch)
tree	26ba55892f940fb7cdebb02427a0af09ce9a3901 /bin/check-db-structure
parent	6dd11c1112a2ca2740c18dff7cf5db36860328cc (diff)

bin/prioritize-build-list: work with pipes, too

Diffstat (limited to 'bin/check-db-structure')

0 files changed, 0 insertions, 0 deletions