?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 242948d) | patch
When we have a renaming, make sure we use the proper file name.
commit107beff8a95d078bd6636117352dbeba6496ae8b
authorPascal Obry <pascal@obry.net>
Sun, 4 Jul 2010 09:30:09 +0000 (4 11:30 +0200)
committerPascal Obry <pascal@obry.net>
Sun, 4 Jul 2010 09:30:09 +0000 (4 11:30 +0200)
tree643617891759c5ee44c7d4cfb4847507c34daf67tree | snapshot (tar.gz zip)
parent242948d54f79a26d511e4ea003f1eccbf50bfb1bcommit | diff
When we have a renaming, make sure we use the proper file name.
pre-commit diff | blob | blame | history
Some scripts for Git repositories