moved the reference counter into its own class "refcounted"
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 29 Aug 2003 17:36:02 +0000 (17:36 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 29 Aug 2003 17:36:02 +0000 (17:36 +0000)

No differences found