Skip to content

Specify -index 0 in type-enclosing queries.#1191

Merged
rgrinberg merged 3 commits intoocaml:masterfrom voodoos:print-only-first-type-resultSep 26, 2023

Commits

Commits on Sep 26, 2023