diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-06-22 19:38:20 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 19:38:20 -0400 |
commit | 5cb07f239f82528ba5422556f59294511326c2ad (patch) | |
tree | b481712e4aa71a412ff1aec0f0b37bb51c09375d /_CoqProject | |
parent | 7df5ed48ce1e16eebd4ec4cac9f057c65d40ae78 (diff) |
Make Assembly modules 8.5-compatible
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions