make diff and revert work on "patch_tagsfile"
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Wed, 16 Jun 2010 09:08:12 +0000 (11:08 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Wed, 16 Jun 2010 09:08:12 +0000 (11:08 +0200)
commit7fd7d596ea05dc7803fa38cd1efc41b4932d80ab
tree2d0439feaa2eb5d0a4dfb8d2e5f0063d98291cd9
parentc394934b13486bee29d916a7eb755b7e0d2315ed
make diff and revert work on "patch_tagsfile"
module-tools.py