Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
Forked from Iris / Iris
Source project has a limited visibility.
  • Robbert Krebbers's avatar
    037d8d62
    Some tweaks. · 037d8d62
    Robbert Krebbers authored 
    In particular, remove ectx_language.atomic, because it seems unused
expect for a smart constructor for language.atomic.
    037d8d62
    History
    Some tweaks.
    Robbert Krebbers authored 
    In particular, remove ectx_language.atomic, because it seems unused
expect for a smart constructor for language.atomic.