]> git.lyx.org Git - lyx.git/history - lib/ui/old-default.ui
Converter patch from Dekel, Preference patch from Angus, menu patch from Rob
[lyx.git] / lib / ui / old-default.ui
2000-11-03 Jean-Marc LasgouttesNew menu layout from Rob