diff script/console @ 431:d3af621ba9d4 bug_168

Update the master branch via git pull master rather than git fetch (which doesn't merge any particular branch)
author Chris Cannam
date Sun, 05 Jun 2011 10:28:27 +0100
parents 94944d00e43c
children
line wrap: on
line diff