|
example.json
|
textdict.py: first minimal example
|
2025-07-13 19:35:59 +02:00 |
|
example.tex
|
textdict.py: first minimal example
|
2025-07-13 19:35:59 +02:00 |
|
texdict.py
|
texdict/todo.md: add
|
2025-07-13 19:39:20 +02:00 |
|
todo.md
|
texdict/todo.md: add
|
2025-07-13 19:39:20 +02:00 |
