From: Godmar Back <godmar@gmail.com>
Date: Wed, 27 Aug 2008 11:50:49 +0000 (+0000)
Subject: cleaned up comments for reboot code and adopted GNU coding standards
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d92d837ee458bff7687e4208607e98c5b8e017c2;hp=d92d837ee458bff7687e4208607e98c5b8e017c2;p=pintos-anon

cleaned up comments for reboot code and adopted GNU coding standards
---