fix links
authorChristian Grothoff <christian@grothoff.org>
Wed, 10 Jul 2019 21:30:03 +0000 (23:30 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 10 Jul 2019 21:30:25 +0000 (23:30 +0200)
commitc8cac826d1aa8c30e358470dcaf4f97bec297712
tree84b16f62fd0611ee381723bba4407b2513832607
parent733fc7eaa10c0ca86a27a071151d93c3b8a8e30e
fix links
doc/handbook/chapters/developer.texi