summaryrefslogtreecommitdiff
path: root/development/eclipse
diff options
context:
space:
mode:
authorJockey S. Kyd <jockey.kyd@gmail.com>2011-09-28 08:34:57 -0300
committerNiels Horn <niels.horn@slackbuilds.org>2011-09-28 08:34:57 -0300
commit321157f485807323a13c9683d567a72104d45274 (patch)
tree517e7920ec54b3a425e1cc74cc21e566a03bd9e4 /development/eclipse
parent9eea3d3eb6c2929209131c7fe7436d252dc576bd (diff)
downloadslackbuilds-321157f485807323a13c9683d567a72104d45274.tar.gz
development/spin: Added (model checker)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/eclipse')
0 files changed, 0 insertions, 0 deletions