Updated dev notes.
authorTim Vaughan <tgvaughan@gmail.com>
Mon, 10 Jun 2019 22:22:16 +0000 (00:22 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Mon, 10 Jun 2019 22:22:16 +0000 (00:22 +0200)
commitc817252f78512fa3b45892adc3da855d79377c55
tree9990a597f940209f455df1dba07dd4115a845f2e
parentaf358901059b69675ed4e6ec996cd58bbc72d6ee
Updated dev notes.
NOTES.org