Julius Volz 0e8c0b67ad Remove custom hover flip code. Fixed upstream.		2015-02-06 15:02:13 +01:00
..
alerts.js	Add no-op silencing links.	2013-07-24 15:09:42 +02:00
graph.js	Remove custom hover flip code. Fixed upstream.	2015-02-06 15:02:13 +01:00
graph_template.handlebar	Add floats to align inputs, and clear the float on the parent.	2015-01-22 13:27:35 +01:00
prom_console.js	More efficient JSON query result format.	2015-01-26 13:06:22 +01:00