]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad0d0f6) | patch
configure.py: rename OpenOffice -> OpenDocument
authorUwe Stöhr <uwestoehr@lyx.org>
Sun, 31 May 2015 00:58:44 +0000 (02:58 +0200)
committerUwe Stöhr <uwestoehr@lyx.org>
Sun, 31 May 2015 00:58:44 +0000 (02:58 +0200)
commit5b9fef895cf73c1e77845ad0d168565392449891
treea6e382df9564d1d51566fb89457a568204b2ef9atree | snapshot
parentad0d0f6d69a7acd6e99f7858f08b427a28d8f8cccommit | diff
configure.py: rename OpenOffice -> OpenDocument

these formats are OpenDocument formats OpenOffice is just one of the OpenDocument editors
lib/configure.py diff | blob | history
Repository for new features