tree b63154304894db1aad221bf780f2dff62860df1c
parent aaec7b3b7254ce1c13ed91ee7699a1533d3c6362
author Vincent Driessen <vincent@datafox.nl> 1265088833 +0100
committer Vincent Driessen <vincent@datafox.nl> 1265088833 +0100

Fix: quote arg to typeset