order of tei files according to header file
Description
Description
Details
Details
- Committed
steinech Oct 20 2023, 11:26 - Pushed
steinech Oct 20 2023, 11:26 - Parents
- rTOPOTEI069393a9b85c: new fonts config
- Branches
- Unknown
- Tags
order of tei files according to header file
order of tei files according to header file
Authored by steinech on Oct 20 2023, 11:26.
Tags
None
Subscribers
None