backend_pgf: clarifications and fixes in documentation #1160

Merged
merged 1 commit into from Aug 28, 2012
Commits on Aug 28, 2012