diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-12-12 10:47:10 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-12-12 10:47:10 -0500 |
| commit | 971264ecf253a7907d24ed3af49db57f56dfe372 (patch) | |
| tree | a5a2c9edaf14fe12ad60f03364a951f35797f79f /docs/doc/types.html | |
| parent | abfa39c6fc52e9d58e0c205977af2073eaf05c10 (diff) | |
Use /⁼ instead of /⁼∧ where appropriate
Diffstat (limited to 'docs/doc/types.html')
0 files changed, 0 insertions, 0 deletions