update coding style, fix import issues
authorChristian Grothoff <christian@grothoff.org>
Tue, 16 Apr 2019 20:25:35 +0000 (22:25 +0200)
committerChristian Grothoff <christian@grothoff.org>
Tue, 16 Apr 2019 20:25:35 +0000 (22:25 +0200)
commitc0b3e48de1646c6205b6edc050f7543d58af9695
tree4fac6234d6e27bd88a28f6b7925df2be96b085ea
parent4e1322ed06444b96d28860fd5909db6af1bf848e
update coding style, fix import issues
doc/handbook/chapters/developer.texi