From: Godmar Back <godmar@gmail.com>
Date: Wed, 5 Nov 2008 04:53:26 +0000 (-0500)
Subject: removed trailing whitespace
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe6ec8d5e8fd2d0ea2eed451c86d07f9cec03269;hp=fe6ec8d5e8fd2d0ea2eed451c86d07f9cec03269;p=pintos-anon

removed trailing whitespace
---