2017-12-03 14:59:39 +01:00
|
|
|
(cfg "Optimized"
|
2017-12-03 10:23:37 +01:00
|
|
|
(resolutions
|
|
|
|
(1280 720)
|
|
|
|
(1920 1080)
|
|
|
|
)
|
|
|
|
(optimizer on
|
|
|
|
(constant-folding on)
|
2017-12-03 18:35:56 +01:00
|
|
|
(constant-propagation on)
|
2017-12-03 10:23:37 +01:00
|
|
|
)
|
|
|
|
)
|
2017-12-03 14:59:39 +01:00
|
|
|
|
|
|
|
(cfg "Basic"
|
|
|
|
(resolutions
|
|
|
|
(1280 720)
|
|
|
|
(1920 1080)
|
|
|
|
)
|
|
|
|
(optimizer off)
|
|
|
|
)
|