diff make-dist @ 73138:5f998245817f

Fixed by Stefan's 2006-09-26 checkins: seltenreich@gmx.de, Sep 24: fontification loop caused by Monnier's 08-01 change.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 26 Sep 2006 17:10:52 +0000
parents 81a55a7dc3c3
children dc3237394add a1a25ac6c88a
line wrap: on
line diff