Marcus Miess 02d981cc2b Changed the ascii arrow to the HTML equivalent. Fixes the problem, where the pad arrow strings got broken.

2021-01-02 00:23:13 +01:00

..

css

Changes suggested in #93

2020-09-24 21:50:28 +02:00

js

Changed the ascii arrow to the HTML equivalent. Fixes the problem, where the pad arrow strings got broken.

2021-01-02 00:23:13 +01:00

index.htm

Graph Frontend work

2019-04-15 13:49:15 +02:00

index.min.htm

Update js stuff

2019-12-27 15:36:12 +01:00