Changeset 35801

Timestamp:

Oct 31, 2006, 6:41:29 PM (16 years ago)

Author:

Vladimir Prus

Message:

Remove duplicate "boost" from library names. Thanks to Tiziano Mueller
for bug report and the suggested fix.

(No files)