From 6063e655372e37bcd3aee7b5934da8134c498457 Mon Sep 17 00:00:00 2001 From: Jacek Kowalski <Jacek@jacekk.info> Date: Sat, 04 May 2019 15:11:28 +0000 Subject: [PATCH] Update stops, ignore stop "Mały Płaszów", now "Mały Płaszów P+R" --- map.js | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/map.js b/map.js index d6b117c..4ce669a 100644 --- a/map.js +++ b/map.js @@ -20,7 +20,7 @@ var vehicles_info = {}; var stops_xhr = null; -var stops_ignored = ['131', '744']; +var stops_ignored = ['131', '744', '1263']; var stops_style = { 'sb': new ol.style.Style({ image: new ol.style.Circle({ -- Gitblit v1.9.1