push notification dummy method
Push notification added
Merge branch 'master' of https://github.com/MikevanLoe/IndoorNav into Ian
Buttons fix, code clean
tmp
planned split alg
Windesheim
tmp split
merging enzo
Merge branch 'Mike' of https://github.com/MikevanLoe/IndoorNav into Wietsee
comments
comments added to graph.java
modifications
Windesheim nodes
Windesheim nodes Working
added a catch for dijkstra in which the start and end vertex didn't connect
No node for WTC
Merge branch 'Wietsee' of https://github.com/MikevanLoe/IndoorNav into Davey
added message feedbacks for routing
Merge branch 'Wietsee' of https://github.com/MikevanLoe/IndoorNav into Davey