templates
|
Align group names in a table
|
2022-10-30 18:32:11 +01:00 |
__init__.py
|
Refactor into python module, multiple files
|
2022-10-30 11:14:38 +01:00 |
config.py
|
Fix capital letters in compound names
|
2022-10-30 18:30:29 +01:00 |
entrypoint.py
|
Enhance latex aspect
|
2022-10-30 18:06:02 +01:00 |
py.typed
|
Refactor into python module, multiple files
|
2022-10-30 11:14:38 +01:00 |
util.py
|
Nicer colour palette for groups
|
2022-10-30 18:30:56 +01:00 |