diff options
author | Jason Gross <jgross@mit.edu> | 2017-03-22 17:11:59 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-03-22 17:11:59 -0400 |
commit | 4b68b853d4a8e8b819baa9208d8317182a70da5b (patch) | |
tree | 09b7723a718eadf2d8f4765f4ec7af3f8eb08e95 /_CoqProject | |
parent | 210224d83b3723fdb6e997cf7681d7591a8bf601 (diff) |
Add split_onames_split_names
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions