From: Ben Pfaff Date: Sun, 19 Jun 2005 05:38:20 +0000 (+0000) Subject: Get rid of .png rules that are no longer used. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2a5eac8bf815e403a4d588d96c7cd5961757944c;hp=2a5eac8bf815e403a4d588d96c7cd5961757944c;p=pintos-anon Get rid of .png rules that are no longer used. ---