Matthias Wirth 56a85dfe71 remove wikimedia map, no longer available

2020-02-08 19:38:42 +01:00

..

flags-tiny

clean history

2020-01-03 21:32:26 +01:00

images

different icons for hiding/showing the table

2020-01-18 00:24:14 +01:00

jquery

clean history

2020-01-03 21:32:26 +01:00

ol

clean history

2020-01-03 21:32:26 +01:00

colors.css

clean history

2020-01-03 21:32:26 +01:00

config.js

largeMode

2020-02-07 07:17:01 +01:00

dbloader.js

shenanigans

2020-01-31 02:47:01 +01:00

defaults.js

largeMode

2020-02-07 07:17:01 +01:00

early.js

remove most ajax timeouts

2020-01-25 02:34:44 +01:00

flags.js

clean history

2020-01-03 21:32:26 +01:00

formatter.js

misc

2020-01-28 02:18:21 +01:00

index.html

largeMode

2020-02-07 07:17:01 +01:00

layers.js

remove wikimedia map, no longer available

2020-02-08 19:38:42 +01:00

markers.js

clean history

2020-01-03 21:32:26 +01:00

planeObject.js

largeMode

2020-02-07 07:17:01 +01:00

registrations.js

clean history

2020-01-03 21:32:26 +01:00

script.js

ugly hacks

2020-02-07 07:57:41 +01:00

style.css

ugly hacks

2020-02-07 07:57:41 +01:00