DennisSchiefer db857166b2 fixed bug that mapping options were no longer localized		2012-08-30 07:59:27 +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	- gui animations no longer trigger an onEndTransition event on loading	2012-08-27 16:24:37 +01:00
OSRM.MainGUI.js	fixed bug that mapping options were no longer localized	2012-08-30 07:59:27 +01:00
OSRM.Notifications.js	added switching between search engines	2012-08-24 13:27:21 +01:00
OSRM.RoutingEngineGUI.js	added switching between search engines	2012-08-24 13:27:21 +01:00
OSRM.RoutingGUI.js	- gui animations no longer trigger an onEndTransition event on loading	2012-08-27 16:24:37 +01:00
OSRM.Selector.js	added switching between search engines	2012-08-24 13:27:21 +01:00