(<DOUBLE-STRUCK CAPITAL foo>): Use `<-font/double-struck' instead of
[chise/xemacs-chise.git] / lock /
drwxr-xr-x   ..
-rw-r--r-- 30 .precious