Commit b7ca6455f3fbd2b78e591c3fbd26112fd9406c9f

Bruno Haible 2018-10-24T03:35:51

Remove outdated DJGPP build infrastructure.