zimoch 4c52c6a0b8 fix problems with versions like *.*.* where not all elements are numbers ...

fix problem with ui file names containing fancy characters like $(xxx)

2017-03-23 09:40:26 +01:00

..

startup

startup script updates

2016-10-05 16:41:29 +02:00

tools

fix problems with versions like *.*.* where not all elements are numbers

2017-03-23 09:40:26 +01:00