Eelco Dolstra 8172cd734c docdev -> devdoc ... It's "developer documentation", not "documentation developer" after all.		2016-09-01 11:07:23 +02:00
..
3.3.nix	gnutls33: maintenance 3.3.18 -> 3.3.24	2016-08-19 16:36:10 +02:00
3.4.nix	gnutls*: drop the parallel-build hack	2016-08-19 16:37:11 +02:00
3.5.nix	gnutls*: drop the parallel-build hack	2016-08-19 16:37:11 +02:00
generic.nix	docdev -> devdoc	2016-09-01 11:07:23 +02:00