lib/mysql-functions: mysql_sanity_check: retrieve repository ids if not yet done - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-05-25 13:55:40 +0200
committer	Erich Eckner <git@eckner.net>	2018-05-25 13:55:40 +0200
commit	f891ac3a111286ac4095bea048972ae138ec45be (patch)
tree	a0aba3e2b1b305da71368a7ce7ffa404160b809e /bin/get-assignment
parent	8aeca7194277ab52126bb3358635743be2ed7e2d (diff)

lib/mysql-functions: mysql_sanity_check: retrieve repository ids if not yet done

Diffstat (limited to 'bin/get-assignment')

0 files changed, 0 insertions, 0 deletions