diff src/intervals.h @ 8947:a6254c24d670

(VERTICAL_SCROLL_BAR_PIXEL_WIDTH): Deleted.
author Karl Heuer <kwzh@gnu.org>
date Tue, 20 Sep 1994 05:18:53 +0000
parents 7327513b377b
children d67be35351e5
line wrap: on
line diff