diff options
Diffstat (limited to 'repos/extra/wmenu/.files')
| -rw-r--r-- | repos/extra/wmenu/.files | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/repos/extra/wmenu/.files b/repos/extra/wmenu/.files new file mode 100644 index 00000000..1f534e6f --- /dev/null +++ b/repos/extra/wmenu/.files @@ -0,0 +1,8 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/wmenu +-rwxr-xr-x root/root usr/bin/wmenu-run +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/wmenu.1.gz |