diff options
| author | Ryan P.C. McQuen <ryanpcmcquen@gmail.com> | 2014-04-15 14:40:24 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-04-15 14:40:24 +0700 |
| commit | a91894cadc460dae2306e2b316e7ee877a099e91 (patch) | |
| tree | 0d3ec6a8ec90a4423e18a8dd83348327499f821b /development/mcrl2 | |
| parent | ef08858e4ea6c9afd36881a7079f1409565c6d0c (diff) | |
| download | slackbuilds-a91894cadc460dae2306e2b316e7ee877a099e91.tar.gz | |
development/brackets: Updated for version 38.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions