From: Miguel de Icaza <miguel@gnome.org>
Date: Thu, 7 Sep 2017 21:57:53 +0000 (-0400)
Subject: Remove lingering bits from removed prj2make tool (#5526)
X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=commitdiff_plain;h=0253b65888c94a17b2d26573c283badae6fb96d3;p=mono.git

Remove lingering bits from removed prj2make tool (#5526)
---