diff options
author | Jason Gross <jgross@mit.edu> | 2017-12-13 05:15:26 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-12-13 05:15:26 -0500 |
commit | b6bbd58e562b7267e0809f4eff4043ec86285003 (patch) | |
tree | fdc850187d5ffcbee650008fbf30e6226f7a3877 /coqprime/Makefile | |
parent | 72926462e4f24d558c6ecc7c0ad773427905b3d1 (diff) |
Also build non-specific on smithers
Diffstat (limited to 'coqprime/Makefile')
0 files changed, 0 insertions, 0 deletions