Remove unused variables
[colloquium.git] / build-aux /
2012-11-24 Thomas WhiteAdd more gnulib stuff