chiark / gitweb /
Fix the 'files' initialisation in git.checkout()