droidstealth/droid-stealth — pull request #230 by alexwalterbos (2014-11-21 17:05:33+00:00)
Title: First work on problem description

Section exported to separate `.tex` file.