log src/shared_definitions.h @ 539:8d7a6c8af208

age author description
Fri, 04 Aug 2017 16:01:28 +0200 heinrichsweikamp CHANGE: Apply safety margin parameters to both models (GF and non-GF)