DennisSchiefer 517f321ccc Merge branch 'trial/notifications' into develop ... Conflicts: WebContent/main.html		2012-07-05 14:02:37 +01:00
..
OSRM.GUI.js	gui handling now uses a main class in which all other gui classes plug	2012-04-27 08:40:18 +01:00
OSRM.GUIBoxGroup.js	finished new box design	2012-05-08 20:52:41 +02:00
OSRM.GUIBoxHandle.js	removed selection restrictions	2012-07-03 14:51:31 +01:00
OSRM.MainGUI.js	finalized alternative integration	2012-07-05 09:24:27 +01:00
OSRM.Notifications.js	clarified comments	2012-07-05 14:00:47 +01:00
OSRM.RoutingGUI.js	finalized alternative integration	2012-07-05 09:24:27 +01:00
OSRM.Selector.js	selector elements now use offsetHeight and offsetWidth instead of	2012-07-03 10:24:10 +01:00