diff loader/loader.h @ 8561:36da960c94e3

API change in dev-api-3 branch.
author rguyom
date Wed, 25 Dec 2002 11:44:14 +0000
parents 174e2a58b4cd
children f5537cc95b02
line wrap: on
line diff