James Valleroy 8bc86e67fc

doc: Fetch latest manual ...

Signed-off-by: James Valleroy <jvalleroy@mailbox.org>

2019-12-02 18:00:16 -05:00

..

dev

doc: dev: Add favicon to developer documentation site

2019-11-09 17:11:25 -08:00

manual

doc: Fetch latest manual

2019-12-02 18:00:16 -05:00

scripts

doc: Move English manual to manual/en directory

2019-10-30 19:25:02 -04:00

Makefile

doc: Fix unavailability of manual images

2019-11-14 21:32:29 +05:30

plinth.xml

Fix a handful of typos in docs and comments

2019-07-24 12:39:11 -07:00