Eelco Dolstra 8172cd734c docdev -> devdoc ... It's "developer documentation", not "documentation developer" after all.		2016-09-01 11:07:23 +02:00
..
darwin-compilation.patch
default.nix	docdev -> devdoc	2016-09-01 11:07:23 +02:00
setup-hook.sh
skip-timer-test.patch