diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-11 16:18:21 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-11 16:18:21 -0700 |
| commit | d063e3c2c6f4b1566c28d0ea92186f356017f99f (patch) | |
| tree | af7b093f016d16a4902a9094d120f1a33bee64b6 /.gitignore | |
| parent | 2a232f8f42c0a7d5a7b648358a192c21865a55f6 (diff) | |
parsing propositions works now. added some debugging tools
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions