lean2/tests/lean/config.lean.expected.out

5 lines
74 B
Text
Raw Normal View History

Set: pp::colors
Set: pp::unicode
Set: pp::colors
Set: pp::unicode