update developer manual to match GNS changes
authorChristian Grothoff <christian@grothoff.org>
Sat, 3 Mar 2018 21:42:17 +0000 (22:42 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sat, 3 Mar 2018 21:42:17 +0000 (22:42 +0100)
commit1f46cd73049570f21ff47cd3ee81ea88da45af07
tree45052a73ba578a02172d7f8d7011604cf810f82e
parentbee1fc336bad21e456907eb9e6c35dc195b9a7e9
update developer manual to match GNS changes
doc/documentation/chapters/developer.texi