diff options
Diffstat (limited to 'repos/extra/wmenu/.files')
| -rw-r--r-- | repos/extra/wmenu/.files | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/repos/extra/wmenu/.files b/repos/extra/wmenu/.files deleted file mode 100644 index 1f534e6f..00000000 --- a/repos/extra/wmenu/.files +++ /dev/null @@ -1,8 +0,0 @@ -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 |