Closed dphansen closed 2 years ago
Hi @bettinaheim - would you be able to merge this PR? Thank you.
Hi @bettinaheim - would you be able to merge this PR? Thank you.
Sorry, I missed this ping. The link as edited won't work on this repo - and I am not sure it will work on the docs page either. @dphansen Could you revise this?
@bettinaheim It will work on docs articles, as the build automatically adds https://docs.microsoft.com/
in front of the link. Is it an issue that it doesn't work in the repo?
@dphansen - This PR replaced by https://github.com/microsoft/qsharp-language/pull/127
Fix the build warning for docs.microsoft.com: