diff DOCS/faq.html @ 6263:f58be367acba

The "(use this option if it does not compile)" text only made sense when the default was enabled. Now it's nonsense, removed.
author rfelker
date Sat, 01 Jun 2002 23:51:55 +0000
parents 54283d7bc90a
children a96c2f444317
line wrap: on
line diff