diff DOCS/de/documentation.html @ 14136:b3133af9666d

- corrected <device< to <device> - option is extralibdir, not extralib
author wight
date Wed, 08 Dec 2004 12:47:57 +0000
parents aa01df570de0
children 87d2ac3e2354
line wrap: on
line diff