zimoch ee90976cd6 fix problems with OS dependent headers: 1. find the correct one, 2. install default

2020-06-25 16:26:43 +02:00

..

startup

startup script updates

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

tools

fix problems with OS dependent headers: 1. find the correct one, 2. install default

2020-06-25 16:26:43 +02:00