Torsten Dreyer 311768e757 Webgui: altitude plotter and provide 3rdparty js libs ... - The map has now a simple altitude plotter - Provide the 3rdparty javascript libraries instead of loading them from their distributors		2014-03-28 18:36:19 +01:00
..
fgcommand.js	Move the web gui to its own folder	2014-03-14 21:15:51 +01:00
jquery.flot.prop.js	Webgui: altitude plotter and provide 3rdparty js libs	2014-03-28 18:36:19 +01:00
props.js	Some changes to the JavaScript PropertyChangeListener	2014-03-26 22:07:00 +01:00