Eelco Dolstra d65af13533 kde4: Eliminate dev outputs from the closure ... Obviously there are more improvements that can be done here, especially moving headers to .dev, but that's not entirely trivial and probably not worth it since kde4 is old.		2016-09-29 20:03:46 +02:00
..
0001-old-kde4-cmake-policies.patch	kde5.applications: 16.04.2 -> 16.04.3	2016-07-13 13:54:52 -05:00
0002-polkit-install-path.patch	kde5.applications: 16.04.2 -> 16.04.3	2016-07-13 13:54:52 -05:00
0003-remove_xdg_impurities.patch	kde5.applications: 16.04.2 -> 16.04.3	2016-07-13 13:54:52 -05:00
default.nix	kde4: Eliminate dev outputs from the closure	2016-09-29 20:03:46 +02:00