[repo-assist] docs: clarify 'hide' keyword vs 'hidden' identifier in literate script example#1238

github-actions[bot] wants to merge 1 commit into

mainfsprojects/FSharp.Formatting:mainfrom

repo-assist/fix-issue-1220-hide-docs-clarity-e9b62cce34e7bb5cfsprojects/FSharp.Formatting:repo-assist/fix-issue-1220-hide-docs-clarity-e9b62cce34e7bb5cCopy head branch name to clipboard