Use new Gnulib function dtoastr() to format short, accurate real numbers.
[pspp-builds.git] / build-aux /
drwxr-xr-x   ..
-rw-r--r-- 142 .gitignore
-rw-r--r-- 290889 texinfo.tex