rename example files to *.txt

Question

rettinghaus opened this issue 7 years ago · 4 comments

Would that be ok, or problematic?

Answer 1 · 2018-06-25T13:20:59.000Z

see discussion in #39

Answer 2 · 2019-03-22T11:55:21.000Z

this is done isn't it?

Answer 3 · 2019-03-22T12:30:10.000Z

Not completely, I think.

Answer 4 · 2021-03-25T11:36:07.000Z

@kepper @bwbohl I think this can be closed. Please reopen if necessary.