This repository has been archived on 2022-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Bruno Windels eb92b9a086 Disable rubberband scrolling for IE11		2020-08-07 18:15:17 +01:00
..
css	Disable rubberband scrolling for IE11	2020-08-07 18:15:17 +01:00
dom	add license header in all source files	2020-08-05 18:38:55 +02:00
general	Use parentNode, parentElement is not supported on IE11	2020-08-07 15:07:44 +01:00
login	add license header in all source files	2020-08-05 18:38:55 +02:00
session	add license header in all source files	2020-08-05 18:38:55 +02:00
BrawlView.js	add license header in all source files	2020-08-05 18:38:55 +02:00
common.js	add license header in all source files	2020-08-05 18:38:55 +02:00
view-gallery.html	fix svg error in spinner	2020-05-06 23:31:22 +02:00
WebPlatform.js	add license header in all source files	2020-08-05 18:38:55 +02:00