Add troubleshooting note for ProofKit 2.04 add-on issue#265

toddgeist merged 1 commit into

mainproofsh/proofkit:mainfrom

add-troubleshooting-docproofsh/proofkit:add-troubleshooting-docCopy head branch name to clipboard