tree b39099c3f5be7db3b28d3077512937ad9ea91ada
parent 1c06250fa2c0fc2356a64b589665e0b1514f30d7
author Marc Kupietz <kupietz@ids-mannheim.de> 1595325810 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1595328850 +0200

totalngram: Use our own ETA printer

We need to know approximately when the process will be finished to make
sure it's not in 10 years.