-
Juanma Barranquero authored
required for any face-name (reworked patch of 1999-01-11, accidentally deleted on 1999-07-21). (internal-find-face): Remove redundant info in docstring.
011131fd
required for any face-name (reworked patch of 1999-01-11, accidentally deleted on 1999-07-21). (internal-find-face): Remove redundant info in docstring.