Commit 7bcc67d26e840f960a7f5bd2c0c2dd0746d0c29a

Bruno Haible 2009-03-14T16:04:31

Remove file. It belongs in the old CVS repository.