Open jeisner opened 8 years ago
[item from the old TO-DO file dated 2002-04-07]
Allow magerman-style head marking instead!
More conventional assignment of heads.
[item from the old TO-DO file dated 2002-04-07]
Allow magerman-style head marking instead!