|
|
71bfa56e3b
|
template: remove some unnecessary newlines
|
2019-10-31 21:43:57 +01:00 |
|
|
|
0f6d1abbd5
|
remove spaces etc. at end of line (no functional change)
|
2019-10-02 22:06:19 +02:00 |
|
|
|
327c0793d1
|
template: move js session refresh to single file ; use fetch API
|
2019-08-26 21:21:47 +02:00 |
|
