I changed eigenbase-resgen to use the scm-safe comment style by default, so this patch is no longer necessary.
Emmanuel Bourg
I changed eigenbase-resgen to use the scm-safe comment style by default, so this patch is no longer necessary.
Emmanuel Bourg