diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-08-19 11:23:26 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-08-19 11:23:26 -0400 |
commit | 9515ba96f8f48b17888267c15b3181893cca6be3 (patch) | |
tree | 3105abc6af678b5813acb1c1cd7fc13c1bb10e5a /lib/ur/basis.urs | |
parent | 277913f2ae39e159b1a639fe1d869fd00ce1a2c7 (diff) |
Return to working version mode
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions