fix repo db name

2023-08-20 10:33:06 +02:00 · 2023-06-22 09:49:39 +02:00 · 2023-08-20 10:33:06 +02:00 · 2023-06-22 09:49:39 +02:00
diff --git a/Sebastian Hugentobler b/Sebastian Hugentobler
Sebastian Hugentobler 3100553365 fix repo db name		2023-08-20 10:33:06 +02:00
.gitignore	initial commit	2023-06-22 09:49:39 +02:00
PKGBUILD	fix repo db name	2023-08-20 10:33:06 +02:00
repo-tool	initial commit	2023-06-22 09:49:39 +02:00