gui: Strip numerics and strings differently in value_to_text().
[pspp-builds.git] / build-aux /
drwxr-xr-x   ..
-rw-r--r-- 142 .gitignore
-rw-r--r-- 290889 texinfo.tex