Robert Helgesson 7c2532d9f9 home-manager: add --(no-)substitute options ... Fixes #312		2019-12-01 10:43:39 +01:00
..
release-notes	zsh: fix history.path issues	2019-11-05 23:04:06 +01:00
default.nix	manual: add nmd as a generation dependency	2019-08-28 20:36:11 +02:00
installation.xml	doc: update version number in some places	2019-10-29 23:08:46 +01:00
man-configuration.xml	docs: use nmd for generating documentation	2019-08-21 20:35:59 +02:00
man-home-manager.xml	home-manager: add --(no-)substitute options	2019-12-01 10:43:39 +01:00
man-pages.xml	doc: remove extraneous contrib element	2019-02-10 00:38:35 +01:00
manual.xml	docs: use nmd for generating documentation	2019-08-21 20:35:59 +02:00