Sebastian Huber 7cf8aa7f72 tmtimer01: Convert to JSON data ...

This avoids a dependency on the non-standard libxml2 module.

2024-01-15 07:26:05 +01:00

..

init.c

tmtimer01: Convert to JSON data

2024-01-15 07:26:05 +01:00

plot.py

tmtimer01: Convert to JSON data

2024-01-15 07:26:05 +01:00

tmtimer01.doc

…

tmtimer01.scn

tmtimer01: Convert to JSON data

2024-01-15 07:26:05 +01:00