]> git.lyx.org Git - features.git/commit
revert unintended commit
authorJuergen Spitzmueller <spitz@lyx.org>
Fri, 31 May 2013 09:07:48 +0000 (11:07 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Fri, 31 May 2013 09:07:48 +0000 (11:07 +0200)
commita2b34f66ea8aa888f0dab60e59ad4fea1eb2ffb5
treeebe52593f846b0bbac3bed0c554f9c568c339c68
parent49665c9b68fda874a02316493d04e25c946a7862
revert unintended commit
src/frontends/qt4/ui/PrefUi.ui