Adding pdfcomment.sty auxiliary files#1755

habi wants to merge 2 commits intogithub:mastergithub/gitignore:masterfrom

habi:patch-2habi/gitignore:patch-2Copy head branch name to clipboard