diff CMakeLists.txt @ 19:02c83c12d3d5

added jenkins build
author am@osimis.io
date Thu, 19 Jul 2018 15:04:00 +0200
parents e252d740436f
children 5cb4e0ed488d
line wrap: on
line diff