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
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
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