Vladimír Čunát afc01cde32 readline-6.3 (the default): split dev and doc outputs		2015-10-13 20:19:02 +02:00
..
default.nix	readline-6.3 (the default): split dev and doc outputs	2015-10-13 20:19:02 +02:00