diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-04-01 22:40:33 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-04-01 22:40:33 +0200 |
| commit | 7a80b75aeaf7fd6e8828b843fa58664f11451833 (patch) | |
| tree | f0e4df46ebd14b4178c06961e6b9748798eaaf81 /library/set/filter.tex | |
| parent | eae0db671c00f8203c1a61b7a87a00f4e22363a3 (diff) | |
Allow numbers in markers (from the second char)
Diffstat (limited to 'library/set/filter.tex')
0 files changed, 0 insertions, 0 deletions