This repository has been archived on 2023-02-21. You can view files and clone it, but cannot push or open issues or pull requests.

Frédéric Péters 3830c8392b search server		2012-09-20 14:30:40 +02:00
..
jquery-1.7.2.min.js	search server	2012-09-20 14:30:40 +02:00
jquery-ui-1.8.21.custom.min.js	search server	2012-09-20 14:30:40 +02:00