diff options
author | jadep <jadep@mit.edu> | 2019-04-02 07:39:27 -0400 |
---|---|---|
committer | jadephilipoom <jade.philipoom@gmail.com> | 2019-04-03 23:34:53 +0100 |
commit | c5565d1441e4882c9b4bc7181f745b4235d8353c (patch) | |
tree | dd3fb119a6aeae8230c2e0740d831642309dbe6b /Makefile | |
parent | f40b3c81114a73c3ac259ca4cb5014464e779dd3 (diff) |
run make update-_CoqProject
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions