25a98964b5 ^
e51207992f ^
1 2 3
4
// $Id$ class Bug372Names; class Bug372Symbols { self: Bug372Symbols with Bug372Names => }