diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-13 00:32:10 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:39:22 +0700 |
| commit | 93067f0367bfab9f5545e0c989e25db64d25a2b7 (patch) | |
| tree | b90e5a730f12c95603219d139bd3fe623f3de5b9 /development/mcrl2 | |
| parent | f622f8fc661688ae1dc2881755c7444de8667fbc (diff) | |
development/mawk: 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