4 commits

Author	SHA1	Message	Date
w0rp	ac0abc7c1f	Fix #1716 - Replace tempdir() with a wrapper to preserve TMPDIR	2018-07-12 13:05:59 +01:00
w0rp	059c5cfca4	Fix a false positive linting issue	2018-07-01 20:37:32 +01:00
w0rp	2a78401066	Close #1685 - Move developer documentation to a help file	2018-07-01 19:56:24 +01:00
w0rp	ee81351a63	Move design goals to online documentation	2018-06-28 16:20:30 +01:00