diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-04-09 10:06:10 +0200 |
|---|---|---|
| committer | Jade Philipoom <jadep@google.com> | 2018-04-09 10:06:10 +0200 |
| commit | 76f2195bfbb31caccac87203f65e4538f3a0dafc (patch) | |
| tree | 632e119f01f09fbb49e2593e6e99e701c9664aa9 /coqprime | |
| parent | 3e779870f34a39bcb5c43d8d2f2c1749ac830575 (diff) | |
reorganization: move more things into BaseConversion
Diffstat (limited to 'coqprime')
| m--------- | coqprime | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/coqprime b/coqprime -Subproject 59e3bf69a84c593ad733b83dbcfa90036f5d052 +Subproject bd626ee330cc28aadfc2d675772f5077b098f71 |