Robin Gloster fe9096ef09 Merge branch 'master' into docker-registry-enhancements		2018-05-02 13:12:57 +02:00
..
manual	Merge branch 'master' into docker-registry-enhancements	2018-05-02 13:12:57 +02:00
xmlformat.conf	nixpkgs doc: add format Make target	2018-04-30 22:37:58 -04:00