aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2016-11-13 22:14:53 -0500
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2016-11-14 16:47:23 +0700
commit11d8d6859fd4d0ddea3bad82ccb298058b1cc852 (patch)
tree4df0c27ca6bb9877b970880dec730c7450c0535d /development/mcrl2
parent155136d6b68c5bae0e4744131a6c4c8adfb76c73 (diff)
graphics/metapixel: Fix slack-desc.
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions