2019-02-27 08:15:40 +00:00
|
|
|
[tools]
|
2019-02-28 08:57:46 +00:00
|
|
|
kres_orig = /kres_mount/kres_parsed/tei
|
2019-02-28 07:20:21 +00:00
|
|
|
kres_tsv = ../data/kres_out/1_tsv
|
|
|
|
|
kres_srl = ../data/kres_out/_srl
|
|
|
|
|
kres_json = ../data/kres_out/final_json
|
2019-02-28 08:57:46 +00:00
|
|
|
debug = False
|
