5 lines
109 B
Text
5 lines
109 B
Text
|
-- set_option default configuration for tests
|
||
|
|
prelude
|
||
|
|
set_option pp.colors false
|
||
|
|
set_option pp.unicode true
|