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
    80f07870
    Remove autosubst submodule. · 80f07870
    Robbert Krebbers authored 
    For consistency, let's deal with autosubst in the same way as with
ssreflect. The user should install it somewhere itself.

This should be documented and possibly discussed later.
    80f07870
    History
    Remove autosubst submodule.
    Robbert Krebbers authored 
    For consistency, let's deal with autosubst in the same way as with
ssreflect. The user should install it somewhere itself.

This should be documented and possibly discussed later.