chiark / gitweb /
Merge branch 'remove-manual' into 'master'
authorHans-Christoph Steiner <hans@eds.org>
Fri, 24 Feb 2017 14:18:43 +0000 (15:18 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Fri, 24 Feb 2017 14:18:43 +0000 (15:18 +0100)
commitb2a432db7e1bc53ee65ceaabfdca2da4bc838ba6
treee003e6665ab0053d5fbf0cfcab432caa101f4df6
parent584841a77596f66bd5b5a8f969ceb82fdb72aec3
parent8decd3b504378eb962d48e140d0edf2e598df22b
Merge branch 'remove-manual' into 'master'

remove TeX manual, it moved to https://gitlab.com/fdroid/fdroid-website

See merge request !209