-fixing #2190 by actually stopping all child processes cleanly
[oweals/gnunet.git] / contrib / texi2html5-indent.diff
2011-08-23 Bart PolotFix compilation of custom indent with texi2html v5.0