do not overwrite prepare if it already existed - packages - Archlinux32 package modifications

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

summary refs log tree commit diff

path: root/community/z3

diff options

author	Erich Eckner <git@eckner.net>	2020-03-05 10:12:42 +0100
committer	Erich Eckner <git@eckner.net>	2020-03-05 10:12:42 +0100
commit	2daf5647b6961ff6281d5c89b50783e5258a6b4b (patch)
tree	0ff7915683c1d5e0095605912940f94cb65c1643 /community/z3
parent	3271f6ab8a92141c0e6e696b327198795f611006 (diff)

do not overwrite prepare if it already existed

Diffstat (limited to 'community/z3')

0 files changed, 0 insertions, 0 deletions