Rene Gollent fdc32a3844 Launch configuration: Fix #12289. ... - Adjust launch configuration such that media_server requires mount_server. Otherwise, if the user has specified sound files for any events that are on non-boot disks, these won't be found/loaded properly during the boot process.		2015-08-07 22:05:08 -04:00
..
system	Launch configuration: Fix #12289.	2015-08-07 22:05:08 -04:00
user	Added post-install script, and start UserBootscript again.	2015-07-22 20:45:43 +02:00