Changeset 43766

Timestamp:

Mar 21, 2008, 7:19:25 PM (15 years ago)

Author:

Frank Mori Hess

Message:

Worked around compilation error in boost::get_deleter when using old versions
of g++.

(No files)