1 # Ignore this, but keep in mind: 2 # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741573 3 # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707851 4 xterm-dev: command-in-menu-file-and-desktop-file xterm-dev usr/share/menu/xterm-dev:7 5 xterm-dev: command-in-menu-file-and-desktop-file uxterm-dev usr/share/menu/xterm-dev:14 6 7 # vile: confmode 8
Indexes created Fri May 29 00:24:34 UTC 2026