tree 9c71079acf0043486134fa30a9cd9c77b05060b3
parent 6c62863d70a07d231348340db6052c502a25f89c
author Cedric Beust <cedric@beust.com> 1341068044 -0700
committer Cedric Beust <cedric@beust.com> 1341068044 -0700

Minor fix.