diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2026-03-19 12:17:42 +0100 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2026-03-19 12:17:42 +0100 |
| commit | d82e8d5fbef2fe04ca1fcd208a230b6831726ca1 (patch) | |
| tree | a6bd8b8fa1b5b0b81f8cbcbd5864185b8246bb93 /content/string/string.tex | |
| parent | fd034dbe8d454c4dd36da50cdb835970255b78da (diff) | |
add 2sat at most one to tcr-opt
Diffstat (limited to 'content/string/string.tex')
0 files changed, 0 insertions, 0 deletions