This repository has been archived on 2020-04-11. You can view files and clone it, but cannot push or open issues or pull requests.

Paul van Tilburg 52c2fc7bb4 Optionally run rsync		2018-10-31 19:31:38 +01:00
..
main.rs	Optionally run rsync	2018-10-31 19:31:38 +01:00
registry.rs	Run rustfmt; add FIXME	2018-09-21 21:23:06 +02:00