Remove extant reference to the `symbols/extras' directory
[xorg/xkeyboard-config] / types /
drwxr-xr-x   ..
-rw-r--r-- 211 Makefile.am
-rw-r--r-- 246 README
-rw-r--r-- 567 basic
-rw-r--r-- 231 cancel
-rw-r--r-- 4537 caps
-rw-r--r-- 179 complete
-rw-r--r-- 178 default
-rw-r--r-- 5531 extra
-rw-r--r-- 447 iso9995
-rw-r--r-- 8543 level5
-rw-r--r-- 225 mousekeys
-rw-r--r-- 305 nokia
-rw-r--r-- 1955 numpad
-rw-r--r-- 3058 pc