]> git.lyx.org Git - features.git/search
scripts/ext_copy.py: add option to copy directly to the document directory