diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-09-04 12:42:42 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-04 12:42:42 +0200 |
| commit | 276c04f66e62a04dbbdab2cd99ca755d2fb5cbf7 (patch) | |
| tree | aaa56da0e1351904f272477996deeff5f93bdd49 /.gitignore | |
| parent | a65336ea79935dfbf3006e775dd16a15f5ef1bd8 (diff) | |
Support T/F, 0/1, and ⊤/⊥ in output
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions