Christian Georgi 7c0769e059 Stick table headers

2022-02-01 18:42:36 +01:00

..

app.js

Data browser: cosmetics, reformat

2022-01-31 19:07:00 +01:00

index.html

Stick table headers

2022-02-01 18:42:36 +01:00