hardware
|
Add lots of missing option types
|
2013-10-30 18:47:43 +01:00 |
installer
|
Use default kernel for EFI-related stuff
|
2013-11-07 16:38:56 +01:00 |
misc
|
Next release will be 14.02 Baboon
|
2013-11-01 09:16:36 +01:00 |
profiles
|
Hack to work around the lack of isPath
|
2013-10-28 22:45:57 +01:00 |
programs
|
gurobi: Remove
|
2013-11-05 00:07:24 +01:00 |
security
|
Add lots of missing option types
|
2013-10-30 18:47:43 +01:00 |
services
|
Only run systemd-inhibit for local X11 sessions
|
2013-11-08 16:39:22 +01:00 |
system
|
Remove remaining references to Upstart
|
2013-10-31 13:26:06 +01:00 |
tasks
|
Add lots of missing option types
|
2013-10-30 18:47:43 +01:00 |
module-list.nix
|
gurobi: Remove
|
2013-11-05 00:07:24 +01:00 |
rename.nix
|
Drop environment.x11Packages
|
2013-10-30 18:47:43 +01:00 |