couple of markups in developer chap.
authorng0 <ng0@n0.is>
Sat, 24 Feb 2018 22:44:19 +0000 (22:44 +0000)
committerng0 <ng0@n0.is>
Sat, 24 Feb 2018 22:44:19 +0000 (22:44 +0000)
commitd4ad64d79b26163f8bcd78d32fe463082b9ed8de
tree65141ab25829a86938c9dcbde67c0ba7da6e8d91
parentb42e231bc946e96aa1c14628c11d0e109e88682a
couple of markups in developer chap.
doc/documentation/chapters/developer.texi