![](https://secure.gravatar.com/avatar/e79f226aa442b589932230491affa641.jpg?s=120&d=mm&r=g)
8 Jun
2007
8 Jun
'07
2:48 a.m.
Surprise, surprise: \def\setnotebodyfont {\let\setnotebodyfont\relax \restoreglobalbodyfont \switchtobodyfont[rm,9pt]\setupinterlinespace[line=9.8pt,height=.79,depth=.21]\setupalign[block,hanging,hz]\parskip2pt}% ... sometimes I wish I had administrative access to the mailing list in order to silently delete my own dump postings ... o( Steffen
6278
Age (days ago)
6278
Last active (days ago)
0 comments
1 participants
participants (1)
-
Steffen Wolfrum