Kai Wohlfahrt ade842f51a kerberos: move user binaries to default output ... The intention of the previous change was to move krb5-config to .dev (it gives the locations of headers), but it grabbed all of the user-facing binaries too. This puts them back.		2018-12-11 13:33:10 +00:00
..
heimdal-make-missing-headers.patch
heimdal.nix
krb5.nix	kerberos: move user binaries to default output	2018-12-11 13:33:10 +00:00