]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29a7354) | patch
scripts/ext_copy.py: add option to copy directly to the document directory
authorJosé Matos <jamatos@lyx.org>
Tue, 8 Aug 2017 14:23:03 +0000 (15:23 +0100)
committerJosé Matos <jamatos@lyx.org>
Tue, 8 Aug 2017 14:23:03 +0000 (15:23 +0100)
commit6b092c8400b21ed3a38d04428c1755b4ecea2ce0
treed9d96fc2107ebba5cfa3b49de5e9a42f99b1ff11tree | snapshot
parent29a735463a06bffa0d075755df42c7c6c5ba1274commit | diff
scripts/ext_copy.py: add option to copy directly to the document directory

When this option is not given, as it happened before, the copier will create/use
a subdirectory in the target final directory
lib/scripts/ext_copy.py diff | blob | history
Repository for new features