search_core/Documentation
Daniel Siepmann 3bebfac769
TASK: Fix documentation
As we have moved the repository at github, we should update all mentions
to use new url.
Also a small typo was fixed.
2018-03-08 19:26:36 +01:00
..
source TASK: Fix documentation 2018-03-08 19:26:36 +01:00
.gitignore WIP|FEATURE: First basic documentation 2016-12-15 16:48:39 +01:00
make.bat WIP|FEATURE: First basic documentation 2016-12-15 16:48:39 +01:00
Makefile WIP|FEATURE: First basic documentation 2016-12-15 16:48:39 +01:00