Sat, 11 Jan 2014 23:24:36 +0100 renamed the tool
Heiko Schlittermann (root@keller) <hs@schlittermann.de> [Sat, 11 Jan 2014 23:24:36 +0100] rev 9
renamed the tool
Sat, 11 Jan 2014 23:23:59 +0100 [merged]
Heiko Schlittermann (root@keller) <hs@schlittermann.de> [Sat, 11 Jan 2014 23:23:59 +0100] rev 8
[merged]
Sat, 11 Jan 2014 23:23:45 +0100 Added --ignore heiko
Heiko Schlittermann (root@keller) <hs@schlittermann.de> [Sat, 11 Jan 2014 23:23:45 +0100] rev 7
Added --ignore
(0) -3 +3 +10 +30 tip