- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Fri, 29 May 2009 06:59:59 -0400
- To: "Peter F.Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: sandro@w3.org, public-owl-wg@w3.org
> One way to go would be to strip the characters out before PDF > generation, but I don't think that this is worth it and certainly not > for this round. Another would be to grab a screen snap and use the png in the pdf. -Alan
Received on Friday, 29 May 2009 11:00:56 UTC