Michael Hackstein 301b8ac7c2 The graph management delete button is now correct red color and hover effect does not change it to green		2014-01-30 16:05:47 +01:00
..
api-docs	Merge remote-tracking branch 'origin/1.4' into devel	2014-01-23 22:24:20 +01:00
frontend	The graph management delete button is now correct red color and hover effect does not change it to green	2014-01-30 16:05:47 +01:00
lib	Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel	2014-01-24 14:37:24 +01:00
test	Fixed test for dropdown menu icons in header bar	2014-01-27 09:55:10 +01:00
aardvark.js	Finished implementing foxx upload in WI	2014-01-24 12:51:54 +01:00
api-docs.json	release version 1.4.7	2014-01-23 17:13:52 +01:00
favicon.ico	…
index.html	ported web interface changes from devel to 1.4	2013-12-18 16:22:16 +01:00
manifest.json	Added a new css file to contain all information regarding the header bar on top of each view. Content has to be moved there though	2014-01-24 23:58:10 +01:00