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 _______________________________________________ LibreOffice mailing list LibreOffice@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/libreoffice