allow renaming bootstrap, and change the name of bootstrap.conf accordingly
[gnulib.git] / lib / isinf.c
2008-07-26 Ben PfaffAdd isinf module.