Date: Friday, October 11, 2013 @ 15:46:13 Author: heftig Revision: 98478 actually, gonna stick these into [extra] Deleted: adobe-source-code-pro-fonts/ adobe-source-sans-pro-fonts/ tex-gyre-fonts/