|
build
|
write git version info to version_info.json file.
|
2022-02-09 21:49:28 +01:00 |
|
exceptions
|
optimize imports and reformat files
|
2022-02-07 18:36:30 +01:00 |
|
format
|
add tex outtype to config
|
2022-02-17 20:03:00 +01:00 |
|
logger
|
avoid duplicate logging
|
2022-02-09 19:25:44 +01:00 |
|
__init__.py
|
initial commit: draft data structures
|
2022-02-04 11:39:15 +01:00 |
