summaryrefslogtreecommitdiff
path: root/development/mcrl2
diff options
context:
space:
mode:
authorBart van der Hall <bart@omgwtfroflol.com>2013-07-05 15:18:16 -0500
committerNiels Horn <niels.horn@slackbuilds.org>2013-07-07 09:11:39 -0300
commit49f20361ff32be6654915ae77b71fd0ed78e76bd (patch)
tree010de4c1e3a15237e71b3f656b5d370b428fa793 /development/mcrl2
parentd2940ccb86c6e9e475e3859fc262bac3ffccbeae (diff)
downloadslackbuilds-49f20361ff32be6654915ae77b71fd0ed78e76bd.tar.gz
development/glade: Added (GTK+ User Interface Builder)
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions