seems like this is required for a PLDISTRO
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 7 Jul 2009 18:31:47 +0000 (18:31 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 7 Jul 2009 18:31:47 +0000 (18:31 +0000)
commitdbe687b0d9e6f98daabc10dd110f62b74cd35d10
treed4196f47387d4034b4cc39206cb161461713d5a9
parentf8ee4c74c7b6d8e7182ce76e31d3d91079eea2ac
seems like this is required for a PLDISTRO
config.coblitz/coblitz.mirrors [new file with mode: 0644]