diff configure @ 13914:efc819eee6e3

devices.html is no more, links updated.
author diego
date Thu, 11 Nov 2004 02:24:23 +0000
parents 07dadc3066f3
children c012194ba7d7
line wrap: on
line diff