diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2018-02-24 19:04:18 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2018-02-24 23:24:00 -0500 |
| commit | cde42774d185ca3c11086061efb5e42bd0902e98 (patch) | |
| tree | 26dd31c42aaea1af8dfb48fe2ad7a00838a802c2 /etc | |
| parent | ef92beece3147f8af0764521e22cb7fc9a3f32a3 (diff) | |
git submodule update --remote --recursive
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 b8e11b47376550ffd85ff7736dd45adcd40b384 +Subproject 7bd683da1fac8b5eb42de1e44a3274db4fd0ce4 |