diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-04-12 18:33:10 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-04-12 18:33:10 -0400 |
| commit | 96d5cedb2cd194e15711ff5b284380539b9a9d99 (patch) | |
| tree | 127d586e2eecacb2cca7671ad5bda2ec52f92ceb /etc | |
| parent | bef674408e406a0bf537fff69d8890abaa3693f0 (diff) | |
update coq-scripts
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 878fffa6abdb29db903ccce680b937df7a4f04f +Subproject 70b32dd2da94b945f4e98064f2fbf78ae0755e6 |