Am Mittwoch, 31. Januar 2018 21:32:57 CET schrieb Jean-Pierre <jeanpierre.chret...@free.fr>: > Le 31 janvier 2018 6:49:21 PM Jürgen Spitzmüller <sp...@lyx.org> a écrit : > > Am Mittwoch, den 31.01.2018, 17:52 +0100 schrieb jpc: > >> lib/doc/fr/#EmbeddedObjects.lyx# |48248 > >> ++++++++++++++++++++++++++++++++++++++ > > > > I suppose this was not intended. > > Of course :-( Sorry, I'm still a bit akward with git. How can I *remove* a > file from the repo?
# git help rm?
Kornel
