ghowa/bandera-scripts — pull request #2 by fredheir (2014-12-01 16:01:15+00:00)
Title: Update README.md

tidied contents list (all rendered as one line)