Closed GoogleCodeExporter closed 8 years ago
Original comment by clau...@gmail.com
on 1 May 2011 at 11:38
Closing this. The convenience of wildcard extensions doesn't outweigh the extra
complexity introduced.
Original comment by clau...@gmail.com
on 27 Jan 2015 at 7:38
Original comment by clau...@gmail.com
on 27 Jan 2015 at 7:39
Original issue reported on code.google.com by
s...@cornell.edu
on 30 Apr 2011 at 7:56