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)
commit00b334689fea633f025315e26bb7fa65551dc8fa
tree5e0042695ef21215e1e67712d16280db0f241691
parentef603d662bb3794227d1a649087ad27d0d49c860
parent87fdca0d905fa3dbcba997d6f93a4b4b0cc9db3b
Merge branch 'fix_config_doc' into 'master'

Fix misleading java_path example

See merge request fdroid/fdroidserver!478