diff BUGS @ 603:c1208587091c

- missed cmake build line to be removed given last commit
author Tassilo Philipp
date Wed, 21 Sep 2022 13:26:31 +0200
parents 7520e2260097
children fe907488e235
line wrap: on
line diff