summaryrefslogtreecommitdiff
path: root/src/elab_env.sig
diff options
context:
space:
mode:
authorGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 08:56:39 +0100
committerGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 11:46:57 +0100
commit171ba38b23b6acfdb28a0b591d26d3e4bb87458b (patch)
tree2028f0d6ac4dd4bed1a2fdc716126e5069a415ca /src/elab_env.sig
parenta16c342d75f96a530da30e85465328306f5412ef (diff)
Added textDocument_didClose
Diffstat (limited to 'src/elab_env.sig')
0 files changed, 0 insertions, 0 deletions