lean2/tests/lean/bad_set_option.lean

4 lines
45 B
Text
Raw Permalink Normal View History