Juan RP 0cecc9d133 git: remove unneeded stuff.
--HG--
extra : convert_revision : 6bad9e89a9941c3ffbd59995611c64283e2db03c
2009-02-04 21:52:55 +01:00
..
2009-02-04 21:52:55 +01:00