Jef Roosens a29592ef36 Logs now show names of added packages		2022-02-02 13:25:05 +01:00
..
repo.v	Logs now show names of added packages	2022-02-02 13:25:05 +01:00
sync.v	Bumped v release; files are now served properly	2022-01-31 21:14:43 +01:00