batch
authorng0 <ng0@infotropique.org>
Mon, 30 Oct 2017 23:42:12 +0000 (23:42 +0000)
committerng0 <ng0@infotropique.org>
Mon, 30 Oct 2017 23:42:12 +0000 (23:42 +0000)
commit68705e67c4883dcbec31d45b0086d65f981327d2
tree0182c782f6ef528bd58386f1a89911002feaa62c
parentc26ba4980aab5bf9f41cd69b6819e5bfb70f79be
batch
doc/documentation/chapters/developer.texi
doc/documentation/chapters/installation.texi