diff options
| author | Josh Chen | 2019-03-01 00:45:40 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-01 00:45:40 +0100 |
| commit | 7a5897039287ddc1d9a0efcb84a7732f2acdd8fd (patch) | |
| tree | d163ad516f803cb16eaada0a49d1cd97d315b0b6 /.gitignore | |
| parent | 39b22fe12f0166d9516638204b4deabe22671d98 (diff) | |
Working on univalence
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions