colinhect/judecca — Issue #16: Rename SharedPointer to Pointer and get rid of OwnedPointer.
Author: colinhect
Created: 2012-01-31 00:37:39+00:00
State: open

OwnedPointer is not extremely useful and it would be nice to have a simpler name for such a commonly used type (SharedPointer).