Jannis R 2a6b0dc507 speed up date+time formatting ⚡		2018-09-24 15:40:00 +02:00
..
address.js	use new location format	2018-03-03 00:18:53 +01:00
coord.js	rename stringify -> format	2017-11-12 00:53:34 +01:00
date.js	speed up date+time formatting ⚡	2018-09-24 15:40:00 +02:00
filters.js	rename stringify -> format	2017-11-12 00:53:34 +01:00
index.js	query live movements in an area	2017-11-20 20:19:13 +01:00
location-filter.js	rename stringify -> format	2017-11-12 00:53:34 +01:00
location-identifier.js	merge new-vbb-protocol into master	2018-03-05 20:57:26 +01:00
location.js	fix error message 🐛	2018-05-03 10:29:43 +02:00
poi.js	use new location format	2018-03-03 00:18:53 +01:00
products-filter.js	throw if 0 products enabled 💥	2018-05-28 20:37:19 +02:00
rectangle.js	query live movements in an area	2017-11-20 20:19:13 +01:00
station.js	use new location format	2018-03-03 00:18:53 +01:00
time.js	speed up date+time formatting ⚡	2018-09-24 15:40:00 +02:00