This repository has been archived on 2026-01-06. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Jef Roosens 8a0beffbe2 Bumped v release; files are now served properly		2022-01-31 21:14:43 +01:00
..
repo.v	Added creation of files archive	2022-01-30 23:54:05 +01:00
sync.v	Bumped v release; files are now served properly	2022-01-31 21:14:43 +01:00