diff options
| author | Ryan P.C. McQuen <ryan.q@linux.com> | 2015-09-10 14:04:56 -0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2015-09-12 08:11:07 +0700 |
| commit | 8f08c14c14fde69dc20d0f82d3942204ad45891d (patch) | |
| tree | 8e6025c2d21d59a195b62eeeb36eb6b13f7cc64b /development/mcrl2 | |
| parent | 97c05097ba244eec10e17593fe8f245ed0c1668d (diff) | |
| download | slackbuilds-8f08c14c14fde69dc20d0f82d3942204ad45891d.tar.gz | |
development/jeex: Allow GPLv2.
Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions