diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-04 17:34:42 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-04 18:21:51 -0400 |
commit | 34fe7947da904853bafd5328d0377c7fc23ed2ac (patch) | |
tree | e8042eebb3a7c5e67d69fb8eb274690748db16ab /src/Compilers | |
parent | 9bfbb6ea54390d70a187cd6a1bad4e75c8c437a9 (diff) |
Print coq version on smithers
Diffstat (limited to 'src/Compilers')
0 files changed, 0 insertions, 0 deletions