Jef Roosens a65207f961 Solved the "removing old packages" problem (I think)		2022-04-09 21:08:54 +02:00
..
build	Each repo now has its own subdir in pkg_dir	2022-04-09 17:41:41 +02:00
docker	Fixed linting errors	2022-02-25 21:54:16 +01:00
git	Fixed dumb mistake in repos cli	2022-04-07 15:12:48 +02:00
repo	Solved the "removing old packages" problem (I think)	2022-04-09 21:08:54 +02:00
server	Solved the "removing old packages" problem (I think)	2022-04-09 21:08:54 +02:00
web	Added some docs	2022-04-01 21:50:00 +02:00
archive.c.v	Added support for xz-compressed packages	2022-04-07 21:29:08 +02:00
env.v	Some final adjustments before merge	2022-04-06 19:51:54 +02:00
main.v	Some final adjustments before merge	2022-04-06 19:51:54 +02:00
package.v	forgot to add part for creating filename	2022-04-07 22:00:38 +02:00
response.v	Split Git client code into separate module	2022-04-07 12:07:56 +02:00
util.v	Updated CI Dockerfile; fixed formatting & vet	2022-02-22 08:14:20 +01:00