On 02.09.2019 9:20, Németh László wrote:
And technical question: What do I need to do locally in Git, so
that the
information, that the no longer needed file
"lo_preset_dashes.odt" has
to be deleted, is included in my commit?
If you deleted the file accidentally,
git checkout sw/qa/extras/ooxmlexport/data/lo_preset_dashes.odt
and
git rm sw/qa/extras/ooxmlexport/data/lo_preset_dashes.odt
and add deletion to the actual commit:
git commit --amend
If you have already deleted the file, there's no need to restore it then
git rm. Just add its current (deleted) state to the index using
git add path/to/removed/file
and proceed as usual (actually, using git commit -a --amend (when
appropriate) also picks the removal correctly).
--
Best regards,
Mike Kaganski
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.