auto_format.py
|
fix some bugs, more type annotations
|
2022-02-08 19:01:18 +01:00 |
config.py
|
fix some bugs, more type annotations
|
2022-02-08 19:01:18 +01:00 |
dict_formatter.py
|
add auto formatter choosing
|
2022-02-08 18:26:25 +01:00 |
dtx_formatter.py
|
implement parts of builder
|
2022-02-08 21:57:30 +01:00 |
enums.py
|
change handling of license to GenericText
|
2022-02-06 22:37:41 +01:00 |
formatterif.py
|
add auto formatter choosing
|
2022-02-08 18:26:25 +01:00 |
formatting_config.py
|
fix some type errors
|
2022-02-08 16:34:59 +01:00 |
generic_text.py
|
fix bugs in GenericText
|
2022-02-08 23:33:43 +01:00 |
macros.py
|
fix some type errors
|
2022-02-08 16:24:42 +01:00 |
pytex_formatter.py
|
fix some bugs, more type annotations
|
2022-02-08 19:01:18 +01:00 |
repo_status_info.py
|
fix some type errors
|
2022-02-08 16:24:42 +01:00 |
simple_tex_formatter.py
|
add auto formatter choosing
|
2022-02-08 18:26:25 +01:00 |
tex_formatter.py
|
fix some bugs, more type annotations
|
2022-02-08 19:01:18 +01:00 |