git: convert repos and tags config to new repo layout - devtools32

diff options

author	Levente Polyak <anthraxx@archlinux.org>	2022-12-13 20:41:37 +0100
committer	Levente Polyak <anthraxx@archlinux.org>	2023-05-19 22:27:13 +0200
commit	b9db6160a2547a57d19308776a25223eb2130b6b (patch)
tree	dd5783f52ee1ab79298e10a58b47b828da53faf8 /src/lib/db/remove.sh
parent	f834fc4700053cb9a83956c98835b0a158cc054c (diff)

git: convert repos and tags config to new repo layout

Diffstat (limited to 'src/lib/db/remove.sh')

0 files changed, 0 insertions, 0 deletions