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