Xfce: exclude texdoctk in settings panel

This commit is contained in:
Daniel Ruiz de Alegría 2022-12-19 18:07:10 +01:00
parent 7a5a66c921
commit b784b3162e
No known key found for this signature in database
GPG Key ID: 59667A77E8BFCB6C

View File

@ -121,6 +121,9 @@
</And> </And>
<Filename>xfce4-settings-editor.desktop</Filename> <Filename>xfce4-settings-editor.desktop</Filename>
</Include> </Include>
<Exclude>
<Filename>texdoctk.desktop</Filename>
</Exclude>
</Menu> </Menu>
</Menu> </Menu>