StigDB/stigdb — pull request #96 by vmbrasseur (2014-03-18 22:28:23+00:00)
Title: gcc tweaks

* Link to a better PPA for apt-get of 4.8.2
* Give size hint for manual build