diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-05-23 15:00:59 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-05-23 15:02:17 +0200 |
| commit | f2193307c48055e54d4d1b5eca43bf0189699d40 (patch) | |
| tree | b75bf7f7599c427e2ef0845915e09b90b1e4913b /src/syntax | |
| parent | 5933577dcf581141b3b51d9b3f25204bf60a6ae5 (diff) | |
Add note to text fractions
Fixes #465
Fixes #1105
Diffstat (limited to 'src/syntax')
0 files changed, 0 insertions, 0 deletions