Robin Appelman b7aba15f17 add search functionality, for now only searches files but plugins/apps can extend that		2011-04-24 16:09:27 +02:00
..
index.php	add search functionality, for now only searches files but plugins/apps can extend that	2011-04-24 16:09:27 +02:00