aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2
diff options
context:
space:
mode:
authorRyan P.C. McQuen <ryan.q@linux.com>2015-09-10 14:04:57 -0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2015-09-12 08:11:07 +0700
commit6f2721e84f4482112648244fde0d8e669326f88d (patch)
tree767fa351cb32fc2f4d2313af1a1b415d033cb882 /development/mcrl2
parent8f08c14c14fde69dc20d0f82d3942204ad45891d (diff)
development/lighttable: 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