# Ignore this, but keep in mind:
#	https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741573
#	https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707851
xterm-dev: command-in-menu-file-and-desktop-file xterm-dev usr/share/menu/xterm-dev:7
xterm-dev: command-in-menu-file-and-desktop-file uxterm-dev usr/share/menu/xterm-dev:14

# vile: confmode
