Remove num_to_string() function, because it is not used anywhere.
[pspp-builds.git] / src / ui / terminal / msg-ui.h
2006-04-25 Ben PfaffContinue reforming error message support. In this...