From: Ben Pfaff <blp@gnu.org>
Date: Wed, 17 Feb 2010 00:16:52 +0000 (-0800)
Subject: add build products list
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b65ac0f58133c7057bad96b9de7af32e06b6e21c;hp=b65ac0f58133c7057bad96b9de7af32e06b6e21c;p=pspp

add build products list
---