summaryrefslogtreecommitdiffstats
path: root/development/spin/slack-desc
Commit message (Collapse)AuthorAgeFilesLines
* various: Fix slack-desc formatting and comment nit picks. dsomero2013-11-221-4/+4
| | | | Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
* development/spin: Added (model checker) Jockey S. Kyd2011-09-281-0/+19
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>