diff make-dist @ 18036:d6297be18ba8

(x_real_positions): Subtract border width from results.
author Richard M. Stallman <rms@gnu.org>
date Fri, 30 May 1997 05:13:47 +0000
parents b8a3deb464b9
children 0696d4c9aa15
line wrap: on
line diff