joerg 881391b10d Push the distfile into MASTER_SITE_LOCAL. It is GPL and mirrored anyway, ... so just avoid the trouble with the main site. Addresses PR 40767.		2009-02-27 13:05:20 +00:00
..
patches
DESCR
distinfo
Makefile	Push the distfile into MASTER_SITE_LOCAL. It is GPL and mirrored anyway,	2009-02-27 13:05:20 +00:00
PLIST