@@ -0,0 +1,4 @@
+Bug-Database: https://bugs.astron.com/
+# github is a mirror, but the URL is promoted by upstream as
+# well, see https://www.astron.com/pub/file/README.md
+Repository-Browse: https://github.com/file/file/
Christoph Biedl