aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-05-28 12:24:32 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2020-05-28 12:24:32 +0200
commit609bfe2fd7ecbdcad5f5d641f0db51541dcd6a4e (patch)
tree82384c0441bdf268040ecc29913d820ae26611b6 /GNUmakefile
parent156b82b88dbd73e9370c74b474432b410415046d (diff)
use_of_ff = "max" for shorthand models like "SFO"
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint