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

Naomi e5da065d0c Changed names of server and index for search ...

because now we will have ones for reporting as well

2018-09-06 16:38:00 +01:00

..

install

Changed names of server and index for search

2018-09-06 16:38:00 +01:00