diff options
| author | Eduardo Julian | 2015-11-28 22:08:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-11-28 22:08:27 -0400 |
| commit | 8188ca2f93491aa7da983f9ee455c2e15f47b756 (patch) | |
| tree | ec1de68b74c6a37bd3d945e514ee9bbd999e4a8f /.gitignore | |
| parent | a1fafea3e8cacfcf8d28c05bbe62e4a57483a1ae (diff) | |
- Improved support for existential quantification.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions