summaryrefslogtreecommitdiffstats
path: root/development/spin/spin.info
AgeCommit message (Expand)Author
2012-08-15Entire Repo: Remove APPROVED field from .info files Robby Workman
2011-09-28development/spin: Added (model checker) Jockey S. Kyd