diff loader/ext.c @ 11121:554b829860c3

Point to generated HTML instead of old HTML docs.
author diego
date Wed, 15 Oct 2003 00:08:55 +0000
parents 174e2a58b4cd
children 2571b2e0c0b4
line wrap: on
line diff