diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-02-12 20:23:52 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-02-12 20:25:24 +0100 |
| commit | 7b2cdb9d95331bba87f9ae54c71b7103a10faf1c (patch) | |
| tree | 8b0581fd14849e6a6ceaa9527ed8534e05d2b695 /library/src/math | |
| parent | 77c29b36d4e8706163c8d52359577e403a15a1ae (diff) | |
Require colon in show rule
Diffstat (limited to 'library/src/math')
0 files changed, 0 insertions, 0 deletions