Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv/git/pspp
[pspp] / src / ui / gui / psppire-data-editor.h
2008-02-29 John DarringtonApplied patch #6428