diff DOCS/documentation.html @ 6443:ed50937a1321

Recent changes in configure should take care of the Real lib locations. Hint by Atmos on -users.
author diego
date Sun, 16 Jun 2002 02:56:44 +0000
parents a2eb6f519855
children 60211818e5b9
line wrap: on
line diff