-fixing #2190 by actually stopping all child processes cleanly
[oweals/gnunet.git] / contrib / removetrailingwhitespace
2011-08-29 Christian Grothoffscript to remove whitespace at the end of a line