[boost] resource manager naming

From: Dave Gomboc (dave_at_[hidden])
Date: 2003-02-25 19:39:06

> I would be searching namely for smart_ptr. I know that smart pointer is
> the name for the resource management idiom.
 
But those that don't would look for "resource_manager" or "resource_mgr"  
(and might even find "res_mgr").  The smart_ prefix is quite useless in
this context, there isn't an old resource manager that is being replaced.

Dave