diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-13 00:35:14 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:39:26 +0700 |
| commit | 95a1d7ef012b8f71072799531e181d6f0344aa9d (patch) | |
| tree | fc40aa25999a0083d3a8530b7e22d7b9eea52849 /development/mcrl2 | |
| parent | da2f04b91ce5facc645ed8d69e26bc60807b496b (diff) | |
development/nim: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions