conf/default.conf: use more robust method to determine if this is a git repository - builder

diff options

author	Erich Eckner <git@eckner.net>	2017-07-27 12:18:12 +0200
committer	Erich Eckner <git@eckner.net>	2017-07-27 12:18:12 +0200
commit	f3b57546352b1fb096490b2c3d5bfe4975db674a (patch)
tree	58150aeb44741829f71a57c10c4fd6e0e820c8a2 /bin/prioritize-build-list
parent	86c02c515d50c54c52539a31cc7134baae2737e7 (diff)

conf/default.conf: use more robust method to determine if this is a git repository

Diffstat (limited to 'bin/prioritize-build-list')

0 files changed, 0 insertions, 0 deletions