diff options
Diffstat (limited to 'man/pvs.8.des')
-rw-r--r-- | man/pvs.8.des | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/pvs.8.des b/man/pvs.8.des new file mode 100644 index 000000000..08497cef2 --- /dev/null +++ b/man/pvs.8.des @@ -0,0 +1 @@ +pvs produces formatted output about PVs. |