bin/db-update: use perma_tmp_dir in all intentions, tmp_dir is gone, if the intention needs to be re-executed - builder

diff options

author	Erich Eckner <git@eckner.net>	2023-07-16 21:12:31 +0200
committer	Erich Eckner <git@eckner.net>	2023-07-16 21:12:31 +0200
commit	92aa69da7bec790286857c836884be6b7986ce4d (patch)
tree	33b4a4ed26525a485a31e88a02f6dcfb9cc8df70 /bin/manual-fix
parent	c43919fa28e75719a46e607f5b1a282b1b1f02c3 (diff)

bin/db-update: use perma_tmp_dir in all intentions, tmp_dir is gone, if the intention needs to be re-executed

Diffstat (limited to 'bin/manual-fix')

0 files changed, 0 insertions, 0 deletions