aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2
diff options
context:
space:
mode:
authorWilly Sudiarto Raharjo <willysr@slackbuilds.org>2016-06-21 07:22:22 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2016-06-21 07:22:22 +0700
commit576cdd349419e33d5825a673caa4d2ecfec9f1df (patch)
treec8da647d4d8371e9e49f2cf49aacdec27939a922 /development/mcrl2
parentac7b29dfb87060aa37dd7944d90c6dff6e9a015c (diff)
development/qt-creator: Updated for version 4.0.2.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions