25a98964b5 ^
1 2 3 4
// $Id$ class Bug372Names; class Bug372Symbols: (Bug372Symbols with Bug372Names);