diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2018-04-26 11:05:48 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2018-04-26 11:05:48 -0400 |
| commit | 5b86b5d0b1f2e9860786078c5a8d62c7aa0b1067 (patch) | |
| tree | 6ee7faa96bf427504969a51501efcdafca778b73 /etc | |
| parent | 28471c7d95fb3580d8ee01b73ef2aa7b170f0029 (diff) | |
Util.Loops: remove non-stdlib dependencies
Diffstat (limited to 'etc')
| m--------- | etc/coq-scripts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/etc/coq-scripts b/etc/coq-scripts -Subproject ef2d7f9e7e9530f05fb3b2362db787a2885c59b +Subproject 7bd683da1fac8b5eb42de1e44a3274db4fd0ce4 |