Re: List of renamings and merges? (Was:....)

2007-05-02 Thread christian . ridderstrom
On Mon, 30 Apr 2007, Andre Poenitz wrote: svn log insets/InsetEnvironment.cpp and manual parse of log messages. In that case, it'd be enough to place the instructions on how to do it somewhere. I think a list is nevertheless a good idea... I was hoping Bo for instance would have a script

Re: List of renamings and merges? (Was:....)

2007-05-02 Thread christian . ridderstrom
On Mon, 30 Apr 2007, Andre Poenitz wrote: svn log insets/InsetEnvironment.cpp and manual parse of log messages. In that case, it'd be enough to place the instructions on how to do it somewhere. I think a list is nevertheless a good idea... I was hoping Bo for instance would have a script

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread José Matos
On Monday 30 April 2007 02:08:10 [EMAIL PROTECTED] wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged?  (The list should of course include the name before as well as after). It would be nice. But notice that there are several stages in the

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread christian . ridderstrom
On Mon, 30 Apr 2007, José Matos wrote: On Monday 30 April 2007 02:08:10 [EMAIL PROTECTED] wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged?  (The list should of course include the name before as well as after). It would be nice. But notice

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread Andre Poenitz
On Mon, Apr 30, 2007 at 03:08:10AM +0200, [EMAIL PROTECTED] wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged? (The list should of course include the name before as well as after). Good idea. Andre'

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread Andre Poenitz
On Mon, Apr 30, 2007 at 01:50:56PM +0200, [EMAIL PROTECTED] wrote: On Mon, 30 Apr 2007, José Matos wrote: On Monday 30 April 2007 02:08:10 [EMAIL PROTECTED] wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged?  (The list should of course include

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread José Matos
On Monday 30 April 2007 02:08:10 [EMAIL PROTECTED] wrote: > Would it be useful to place list somewhere with the files that were > renamed and/or merged?  (The list should of course include the name before > as well as after). It would be nice. But notice that there are several stages in the

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread christian . ridderstrom
On Mon, 30 Apr 2007, José Matos wrote: On Monday 30 April 2007 02:08:10 [EMAIL PROTECTED] wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged?  (The list should of course include the name before as well as after). It would be nice. But notice

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread Andre Poenitz
On Mon, Apr 30, 2007 at 03:08:10AM +0200, [EMAIL PROTECTED] wrote: > Would it be useful to place list somewhere with the files that were > renamed and/or merged? (The list should of course include the name before > as well as after). Good idea. Andre'

Re: List of renamings and merges? (Was:....)

2007-04-30 Thread Andre Poenitz
On Mon, Apr 30, 2007 at 01:50:56PM +0200, [EMAIL PROTECTED] wrote: > On Mon, 30 Apr 2007, José Matos wrote: > > >On Monday 30 April 2007 02:08:10 [EMAIL PROTECTED] wrote: > >>Would it be useful to place list somewhere with the files that were > >>renamed and/or merged?  (The list should of course

List of renamings and merges? (Was:....)

2007-04-29 Thread christian . ridderstrom
Would it be useful to place list somewhere with the files that were renamed and/or merged? (The list should of course include the name before as well as after). /Christian -- Christian Ridderström, +46-8-768 39 44 http://www.md.kth.se/~chr

Re: List of renamings and merges? (Was:....)

2007-04-29 Thread Bo Peng
On 4/29/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged? (The list should of course include the name before as well as after). About half of my changes are documented in svn log messages. Bo

List of renamings and merges? (Was:....)

2007-04-29 Thread christian . ridderstrom
Would it be useful to place list somewhere with the files that were renamed and/or merged? (The list should of course include the name before as well as after). /Christian -- Christian Ridderström, +46-8-768 39 44 http://www.md.kth.se/~chr

Re: List of renamings and merges? (Was:....)

2007-04-29 Thread Bo Peng
On 4/29/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: Would it be useful to place list somewhere with the files that were renamed and/or merged? (The list should of course include the name before as well as after). About half of my changes are documented in svn log messages. Bo