bin/common-functions: make_source_info new: do not "git checkout", but "git archive" - builder

diff options

author	Erich Eckner <git@eckner.net>	2017-06-26 23:15:42 +0200
committer	Erich Eckner <git@eckner.net>	2017-06-26 23:15:42 +0200
commit	23f205cd74f2ad9784af979e0257964a1a251d25 (patch)
tree	81c3bc854d5fa26a1fe433ed738dc6fb343cc676 /.gitignore
parent	ef7ed3d27708b425aec80b5d67cad370a26ff1dc (diff)

bin/common-functions: make_source_info new: do not "git checkout", but "git archive"

Diffstat (limited to '.gitignore')

0 files changed, 0 insertions, 0 deletions