]> git.lyx.org Git - features.git/search
lyx2lyx/lyx_2_1.py: add missing things from previous commit (cherry pick seems to...