diff options
Diffstat (limited to '')
| l--------- | man3/libnormalform_vnimply_checked.3 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man3/libnormalform_vnimply_checked.3 b/man3/libnormalform_vnimply_checked.3 new file mode 120000 index 0000000..f768f8c --- /dev/null +++ b/man3/libnormalform_vnimply_checked.3 @@ -0,0 +1 @@ +libnormalform_nimplyl_checked.3
\ No newline at end of file |