Profile update.
This commit is contained in:
parent
797701d0a0
commit
58978c12b7
16 changed files with 28 additions and 12 deletions
|
|
@ -12,5 +12,7 @@ profile gnome-shell-hotplug-sniffer @{exec_path} {
|
|||
|
||||
@{exec_path} mr,
|
||||
|
||||
/usr/share/mime/mime.cache r,
|
||||
|
||||
include if exists <local/gnome-shell-hotplug-sniffer>
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue