marc tobias 64ace51e02 move data-sources/ directory in new git repos

2020-07-01 17:38:44 +02:00

..

admin

move data-sources/ directory in new git repos

2020-07-01 17:38:44 +02:00

api

document which labels may appear in the address info

2020-06-06 17:32:30 +02:00

data-sources

move data-sources/ directory in new git repos

2020-07-01 17:38:44 +02:00

develop

docs: minor typo and grammar fixes

2020-06-23 23:31:18 +02:00

bash2md.sh

split instruction into software installation and import

2016-06-07 00:17:15 +02:00

CMakeLists.txt

move data-sources/ directory in new git repos

2020-07-01 17:38:44 +02:00

extra.css

cleanup documentation

2018-08-23 23:14:41 +02:00

index.md

clean up and format search documentation

2018-08-09 21:47:57 +02:00

mkdocs.yml

move data-sources/ directory in new git repos

2020-07-01 17:38:44 +02:00

styles.css

switch to pygments for mkdocs hilighting

2019-10-25 23:57:23 +02:00