Closed lukewagner closed 7 months ago
As discussed in #273, this PR just removes the doc-comment production from WIT.md. (In case you were wondering, I didn't forget to remove uses of doc-comment; it just wasn't referenced anywhere that I could see.)
doc-comment
I've opened https://github.com/bytecodealliance/wasm-tools/pull/1313 for the tooling side of this
Great! Given overall agreement here and in #273, I'll go ahead and merge now.
As discussed in #273, this PR just removes the
doc-comment
production from WIT.md. (In case you were wondering, I didn't forget to remove uses ofdoc-comment
; it just wasn't referenced anywhere that I could see.)