]> git.lyx.org Git - lyx.git/search
(Herbert): delete old 1.2 stuff and add forgotten special option.