chiark / gitweb /
Merge branch 'fix_config_doc' into 'master'
authorMarcus <bubu@bubu1.eu>
Mon, 12 Mar 2018 12:37:43 +0000 (12:37 +0000)
committerMarcus <bubu@bubu1.eu>
Mon, 12 Mar 2018 12:37:43 +0000 (12:37 +0000)
Fix misleading java_path example

See merge request fdroid/fdroidserver!478


Trivial merge