Henrique Dias 8b40dc9d19 Fix websockets on other ports than 80 ... Former-commit-id: 92fc9e1bd2c7590af98c5246a7e035a3ca8f3d6f [formerly 3cbab224088f675ab9474a78682db7956f90a39e] [formerly 395d28fc36802680a6a30065cad749101c256753 [formerly 736e7d6167]] Former-commit-id: 5cfac7b10ccaf36c3969164df5af8dee4a27a9a5 [formerly 8e8283eba1ae1c5bf0da72927a775fdac2e3ef79] Former-commit-id: 9a89cbe037984be71de125da051a92aa0d1636ab		2017-07-27 14:02:50 +01:00
..
api.js	Fix websockets on other ports than 80	2017-07-27 14:02:50 +01:00
auth.js	Fix cookie paths	2017-07-20 19:00:51 +01:00
buttons.js	Comments and bugfixes	2017-07-08 12:32:25 +01:00
codemirror.js	Clean source folder	2017-07-06 09:08:20 +01:00
cookie.js	rename _assets to assets	2017-07-06 08:07:33 +01:00
css.js	rename _assets to assets	2017-07-06 08:07:33 +01:00
url.js	rename _assets to assets	2017-07-06 08:07:33 +01:00