Re: how to remove a file

2012-05-06 Thread Federico Bruni
I'm putting -devel in CC. Sorry for pushing, I'm in a hurry: I'd like to send the patches within tonight. Il 06/05/2012 15:53, Federico Bruni ha scritto: Hi, I have to remove the .texidoc file of a snippet which has been removed: diff --git

Re: how to remove a file

2012-05-06 Thread Graham Percival
On Sun, May 06, 2012 at 05:32:08PM +0200, Federico Bruni wrote: I made a try: $ git rm Documentation/it/texidocs/piano-template-with-centered-dynamics.texidoc error: 'Documentation/it/texidocs/piano-template-with-centered-dynamics.texidoc' has local modifications (use --cached to keep

Re: [translations] Re: how to remove a file

2012-05-06 Thread Francisco Vila
2012/5/6 Federico Bruni fedel...@gmail.com: I'm putting -devel in CC. Sorry for pushing, I'm in a hurry: I'd like to send the patches within tonight. Il 06/05/2012 15:53, Federico Bruni ha scritto: Hi, I have to remove the .texidoc file of a snippet which has been removed: diff --git