diff options
author | Andres Erbsen <andreser@mit.edu> | 2019-03-22 11:10:43 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2019-03-22 11:10:43 -0400 |
commit | 51ddb260f58442ff013a331c3ebe517d0586f65c (patch) | |
tree | 149a8c683fa69a59a28b6f1d195e6e68906aa1fb /etc | |
parent | 704ddff867b527e5001bf1661f84fd6f2a08e1c2 (diff) |
bump submodules
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 9dc70c73be0d6a35c09136d65b5f21b75b77d27 |