From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 20 Aug 2017 17:11:48 +0000 (+0200)
Subject: Remove PSEAL macro.  It is no longer useful.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fd42aabc26013ace3f87acc4108c3d8a3b238232;hp=fd42aabc26013ace3f87acc4108c3d8a3b238232;p=pspp

Remove PSEAL macro.  It is no longer useful.
---