Am Mittwoch, 13. September 2006 20:50 schrieb Lars Gullik Bjønnes: > Georg Baum <[EMAIL PROTECTED]> writes: > | Index: src/support/types.h > | =================================================================== > | --- src/support/types.h (Revision 14987) > | +++ src/support/types.h (Arbeitskopie) > | @@ -18,19 +18,20 @@ > | > | #include "docstring.h" > | > | -#include <boost/cstdint.hpp> > > this us used below, you cannot delete it.
It is included in docstring.h. Do you still think I should not delete it? Georg
