diff options
author | Jason Gross <jgross@mit.edu> | 2017-12-14 11:39:24 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-12-14 18:02:41 -0500 |
commit | a60a49f545499f29f067148668b8ec1bc7b55895 (patch) | |
tree | 6dc6c4ec1c3f7e33c60f7a41cf1948c301a78f33 /install.sh | |
parent | 29644bf0814945cbf2b4388b8f8bd19f109503a0 (diff) |
Pass a ghost location for abstract
As per request at https://github.com/coq/coq/pull/6406#pullrequestreview-83503902
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions