diff options
| author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-06 11:34:16 +0200 |
|---|---|---|
| committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-06 11:34:16 +0200 |
| commit | b6aec9666b51964de4b01b3f07abf982ea30e9f8 (patch) | |
| tree | 737a295ce367c65a678ff15e540cb9968bb33d2c /scripts/time2tex.py | |
| parent | 0df42b1e35603dc127be488e9d79b29d0631df4d (diff) | |
| parent | de93554c562eb4137dd8a3bb6c057f8043990c19 (diff) | |
Merge remote-tracking branch 'origin/master' into max/time
Diffstat (limited to 'scripts/time2tex.py')
0 files changed, 0 insertions, 0 deletions