Summary of changes: 45c0f3b... Removed duplicate pstotiff files. (*) 3f6b7b8... Merge branch 'f13' into f14 (*) d709f97... Merge branch 'f14' (*) This commit already existed in another branch; no separate mail sent