aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-07-07 11:27:44 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2020-07-07 11:27:44 +0200
commit58c6214f459b28b899794f32a60836aef97ac01b (patch)
treebcb8b0f53e27ebb15290f18be8b679262a9e84d1 /man
parente3bc264df69f892e9ad990be22d3ec1b22041daa (diff)
Adapt pfm_degradation to current mkin
use_of_ff = "max" is now the default
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint