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