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)
remove TeX manual, it moved to https://gitlab.com/fdroid/fdroid-website

See merge request !209


Trivial merge