comparison config.arg.h @ 590:d6ff27532fdd

applied Alex Elide's tricky patch, thanks!
author arg@mig29
date Mon, 27 Nov 2006 17:51:50 +0100
parents 732c58a3d92d
children f7dcd3ac8d6f
comparison
equal deleted inserted replaced
589:732c58a3d92d 590:d6ff27532fdd