Marcin Kuzminski 7c46071c51 repo-switcher: new unified search box for filtering/accessing users, repos and repo groups. ... - mainly driven by customer feedback - two filter boxes on main page was confusing, and people constantly asked if grid filter can search recursive - now we use one unified search on main nave accessible on every page - it now also can search for users		2018-05-30 12:54:50 +02:00
..
css	repo-switcher: new unified search box for filtering/accessing users, repos and repo groups.	2018-05-30 12:54:50 +02:00
fonts	styling: updated icon files.	2017-07-19 22:53:13 +02:00
images	automation: add EE feature placeholder	2018-02-21 18:45:52 +01:00
js	repo-switcher: new unified search box for filtering/accessing users, repos and repo groups.	2018-05-30 12:54:50 +02:00
sounds	project: added all source files and assets	2016-05-24 15:56:53 +02:00
502.html	ux: make static 502 page for gateway error look better, fixes #4202	2016-08-30 19:16:34 +03:00
robots.txt	site: added dummy robots.txt to handle those from crawling robots.	2017-01-13 11:32:41 +01:00