Allan Odgaard eead4102dc Do not require that _app_path is setup when calling relaunch

2017-10-08 09:00:32 +02:00

..

src

Do not require that _app_path is setup when calling relaunch

2017-10-08 09:00:32 +02:00

target

Simplify relaunch code

2014-11-30 09:12:06 +07:00