Commit 80f07870 authored by Robbert Krebbers's avatar Robbert Krebbers

Remove autosubst submodule.

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.
parent 6fbaaf9d
[submodule "autosubst"]
path = autosubst
url = https://github.com/tebbi/autosubst.git
-Q . ""
-R autosubst/theories Autosubst
Subproject commit 07c669460cd84e6e0b2084e870b19f947b699ded
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment