From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2008 05:11:26 +0000 (-0800)
Subject: Rename .cvsignore files to .gitignore.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=877208550085617dd296fd66df541b46aa0e91a8;hp=877208550085617dd296fd66df541b46aa0e91a8;p=pintos-anon

Rename .cvsignore files to .gitignore.
---