Robin Gloster 88341c4d2b Revert "doc: remove double space" ... This reverts commit 6393d43380. Commit added too much changes.		2017-03-20 20:58:18 +01:00
..
default.nix	Revert "doc: remove double space"	2017-03-20 20:58:18 +01:00