diff options
| author | Jockey S. Kyd <jockey.kyd@gmail.com> | 2011-10-21 17:28:40 -0200 |
|---|---|---|
| committer | Niels Horn <niels.horn@slackbuilds.org> | 2011-10-21 17:28:40 -0200 |
| commit | 3515f10a978d6b66c285dc0ed306c592eff3315a (patch) | |
| tree | c4d9d7c24d398ee12c08cbbbdd072b6586e9495e /development/gedit-plugins | |
| parent | 299cf88d270e872853ffd224e8c62335ec71e874 (diff) | |
| download | slackbuilds-3515f10a978d6b66c285dc0ed306c592eff3315a.tar.gz | |
development/mcrl2: Added (micro Common Representation Language 2)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/gedit-plugins')
0 files changed, 0 insertions, 0 deletions