?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: d729eba) | patch
* html.cc (handle_unknown_font_command): Removed dead code as
commit5ac907409b04435781af0eb6ff9d41bd7016940a
authorWerner LEMBERG <wl@gnu.org>
Wed, 1 Mar 2000 21:46:45 +0000 (1 21:46 +0000)
committerWerner LEMBERG <wl@gnu.org>
Wed, 1 Mar 2000 21:46:45 +0000 (1 21:46 +0000)
tree9943005632e1b278d4ccc8d653c799711923c4eftree | snapshot (tar.gz zip)
parentd729eba86b33c7702c25d465976bbcebdbab1327commit | diff
* html.cc (handle_unknown_font_command): Removed dead code as
spotted by Werner.
src/devices/grohtml/ChangeLog diff | blob | blame | history
src/devices/grohtml/html.cc diff | blob | blame | history
A text processor that formats text