diff options
| author |  Simon Van Casteren <simon.van.casteren@gmail.com> | 2020-01-08 12:11:45 +0100 |
|---|---|---|
| committer | Simon Van Casteren <simon.van.casteren@gmail.com> | 2020-01-08 12:11:45 +0100 |
| commit | d7ca451f01595ced7cfe70f43714ac2a1150915d (patch) | |
| tree | 08b9afdfeedc319500a85398e9f41c2d21830239 /src/getinfo.sml | |
| parent | 7ebc4f3ff8081424f0e227142ac76bb3f7fc4a20 (diff) | |
Allow simple .ur files to double as .urs files for LSP
Diffstat (limited to 'src/getinfo.sml')
0 files changed, 0 insertions, 0 deletions