diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2016-05-26 15:35:38 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-05-27 07:23:29 +0700 |
| commit | 7616ad53877b7486f8d3184631df81a90100c1ad (patch) | |
| tree | f9655d86a2d2226b35db51d3b95646ea3d75256d /development/mcrl2/README | |
| parent | 5fde0cb5406972ab700fa9ee916fa63a5d9a71d8 (diff) | |
development/love: Fix invalid chars in desc.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/README')
0 files changed, 0 insertions, 0 deletions