commit | ffab45c3b22b3860147b4ecd12be9ac14021371d | [log] [tgz] |
---|---|---|
author | oliverschmidt <oliverschmidt> | mar. avr. 19 21:36:33 2005 +0000 |
committer | oliverschmidt <oliverschmidt> | mar. avr. 19 21:36:33 2005 +0000 |
tree | eff4b4f37f8466d5c7bb57c34c50754e359db366 | |
parent | 7a8f158508b6e807580c2dac008727c2050d0158 [diff] |
Removed unnecessary / obsolete destructor priority setting.