|
|
9d8bd3f43e
|
IssueID #1487: removed redundant reliance on original list file
|
2020-11-19 17:03:44 +01:00 |
|
|
|
8e4133d45e
|
IssueID #1487: added helper script for fixing xml ids
|
2020-11-19 17:00:55 +01:00 |
|
|
|
743ee6ebae
|
IssueID #1487: fixed parameter names
|
2020-11-10 14:07:44 +01:00 |
|
|
|
51ed244a5c
|
IssueID #1487: split structure pipeline into two
|
2020-11-04 19:02:15 +01:00 |
|
|
|
6c78507e9d
|
IssueID #1487: added schema validation for structures and dictionary
|
2020-11-04 18:05:12 +01:00 |
|
|
|
bc2ad4d45f
|
IssueID #1562: used new flag for fixed order
|
2020-11-03 16:29:54 +01:00 |
|
|
|
5e7ac5d832
|
IssueID # 1538: incorpated script for converting tei to dictionary
|
2020-09-30 23:08:14 +02:00 |
|
|
|
c9a9d9a8bc
|
IssueID #1487: kept more intermediate results
|
2020-09-30 19:49:36 +02:00 |
|
|
|
58f37ecd08
|
IssueID #1537: tweaked .gitignore
|
2020-09-30 17:07:26 +02:00 |
|
|
|
f39df9600f
|
IssueID #1487: updated path to script
|
2020-09-30 17:06:54 +02:00 |
|
|
|
dbb7aca606
|
IssueID #1487: removed script added to wrong repository
|
2020-09-30 16:54:28 +02:00 |
|
|
|
d6ded65f67
|
IssueID #1487: expanded/configured pipeline
|
2020-09-30 16:38:42 +02:00 |
|
|
|
298dfecbd6
|
IssueID #1537: added script for creating structures (based on janez brank's)
|
2020-09-30 16:37:42 +02:00 |
|
|
|
8d5c8f55b5
|
IssueID #1487: added basic script versions and directory structure
|
2020-09-17 09:29:53 +02:00 |
|
