Menu

Commit [r18]  Maximize  Restore  History

- Fix for bug#34 <http://developer.spikesource.com/tracker/index.php?func=detail&aid=34&group_id=9&atid=117> - ignoring files with unknown extensions.

npac 2008-05-09

changed /branches/spikephpcoverage-0.8/src/CoverageRecorder.php
/branches/spikephpcoverage-0.8/src/CoverageRecorder.php Diff Switch to side-by-side view
Loading...