add GG config.txt to appendix Developer section
authorGood Guy <[email protected]>
Mon, 13 Jan 2020 17:30:48 +0000 (10:30 -0700)
committerGood Guy <[email protected]>
Mon, 13 Jan 2020 17:30:48 +0000 (10:30 -0700)
commit366844dd0d3487da5331bd6f97b57b7037aa58b4
tree99e16c28f598de23b6644ff2730f104f7131d742
parent5f571df5bd79e42a70d662836d82a020ad61dab2
add GG config.txt to appendix Developer section
parts/Developer.tex