src/misc/countedptr.hpp
branchgamebalance
changeset 9909 dce9a6923bb7
parent 5884 be0c8467aeb4
child 6732 ca1b466db422
equal deleted inserted replaced
9908:0fa543611bbe 9909:dce9a6923bb7
     1 /* $Id$ */
     1 /* $Id$ */
       
     2 
       
     3 /** @file countedptr.hpp */
     2 
     4 
     3 #ifndef COUNTEDPTR_HPP
     5 #ifndef COUNTEDPTR_HPP
     4 #define COUNTEDPTR_HPP
     6 #define COUNTEDPTR_HPP
     5 
     7 
     6 #if 0 // reenable when needed
     8 #if 0 // reenable when needed