fix links
authorChristian Grothoff <christian@grothoff.org>
Wed, 10 Jul 2019 21:31:37 +0000 (23:31 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 10 Jul 2019 21:31:37 +0000 (23:31 +0200)
commitda2a75db566b67e51ab1916378621ef1300ae37e
tree69ac4e2ca3d061850f314dd0ff891118871ce2b9
parentc8cac826d1aa8c30e358470dcaf4f97bec297712
fix links
doc/handbook/chapters/developer.texi