merge Teckids history for mksh/progress-bar
authormirabilos <t.glaser@tarent.de>
Wed, 3 Oct 2018 18:33:20 +0000 (20:33 +0200)
committermirabilos <mirabilos@evolvis.org>
Wed, 3 Oct 2018 18:33:20 +0000 (20:33 +0200)
commit4d33745a8f3ad50489f3603702925dd5e990aa57
tree43eb8dacc88a71e33735226b65b2692401af8482
parent00d45137f3ef6d0307e4c19606f2f4ef7daedf7a
parent7797940cc761a884011ec60065cfa63330660f34
merge Teckids history for mksh/progress-bar

this was www/mk/progress-bar in teckids/verein.git
and has intermingling with the file in this repo,
which we cannot represent as merges, but it’s ok

also touch content (improving a comment), so both
sides’ histories show up in logs, etc.
mksh/progress-bar