comparison src/w32gui.h @ 84679:a5c8194cf0e8

(comment-add): If EXTRA, double `comment-add' value.
author Richard M. Stallman <rms@gnu.org>
date Thu, 20 Sep 2007 16:31:35 +0000
parents 922696f363b0
children fc2bcd2a8aad f55f9811f5d7
comparison
equal deleted inserted replaced
84678:40619cd555e9 84679:a5c8194cf0e8