diff options
| author | Son Ho | 2022-01-29 20:30:16 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-29 20:30:16 +0100 |
| commit | 79af7f999e3a41e3c5f9a30819a7cc43b5397c56 (patch) | |
| tree | a3b047e0b72f8f493a2395bbf47fb434d9b73205 /.gitignore | |
| parent | fe5d34965d44120e491fb2fa42262d8439ea38c7 (diff) | |
Make the field names optional and make progress on ExtractToFStar
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions