|
|
5e7ac5d832
|
IssueID # 1538: incorpated script for converting tei to dictionary
|
2020-09-30 23:08:14 +02:00 |
|
|
|
58f37ecd08
|
IssueID #1537: tweaked .gitignore
|
2020-09-30 17:07:26 +02:00 |
|
|
|
8d5c8f55b5
|
IssueID #1487: added basic script versions and directory structure
|
2020-09-17 09:29:53 +02:00 |
|
