diff options
| author |  Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-11 22:56:29 +0100 |
|---|---|---|
| committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 11:46:57 +0100 |
| commit | 9b00dc724363ac7b0a31687f14cc3bb2f2460f9b (patch) | |
| tree | 8a078a63394a2a6067c35324796fe32deb0f5438 /src/elab_env.sig | |
| parent | 25b0685cefe772c73562665a4cc8d2d40e5ff600 (diff) | |
Integrated getInfo into LSP
Diffstat (limited to 'src/elab_env.sig')
0 files changed, 0 insertions, 0 deletions