Ignore one more generated index from makeinfo.
[gnulib.git] / modules / floorl
2007-10-05 Bruno HaibleNew module 'floorl'.