diff man/reftex.texi @ 27514:9625ad0c0f52

(w32_term_init): Swap resx and height_in, resy and width_in. Use w32_defined_color in place of defined_color.
author Jason Rumney <jasonr@gnu.org>
date Sun, 30 Jan 2000 18:32:14 +0000
parents d7311a9cb223
children 0b645a4a64fa
line wrap: on
line diff