change comment in developer.texi
authorng0 <ng0@n0.is>
Sun, 31 Dec 2017 12:15:16 +0000 (12:15 +0000)
committerng0 <ng0@n0.is>
Sun, 31 Dec 2017 12:15:16 +0000 (12:15 +0000)
commit25786af5b0018ba23729350a68b0863887e36257
tree9c484054667891b63554e731c57f5589d69e84bd
parentd01f1bd83384cbdb74fa963526d31270bf58c805
change comment in developer.texi
doc/documentation/chapters/developer.texi