Sébastien Loriot 0ebe5350db fix interval ...

Fix suggested by Stefan Schirra following recommendation in Stefan Funke's Diplomarbeit

2020-04-30 11:12:12 +02:00

..

CORE

fix interval

2020-04-30 11:12:12 +02:00

export

run the script to remove tabs and trailing whitespaces

2020-03-26 13:25:16 +01:00