diff loader/ext.h @ 22221:09c112581336

Restore a minus sign that was lost in r22231.
author eugeni
date Fri, 16 Feb 2007 23:18:47 +0000
parents 0783dd397f74
children 3baf6a2283da
line wrap: on
line diff