allow renaming bootstrap, and change the name of bootstrap.conf accordingly
[gnulib.git] / lib / malloca.valgrind
2007-06-09 Bruno HaibleMove to here from allocsa.valgrind.