[mlir] Replace HTML escaped character
authorKai Sasaki <lewuathe@gmail.com>
Sat, 24 Jun 2023 02:43:40 +0000 (02:43 +0000)
committerGitHub <noreply@github.com>
Sat, 24 Jun 2023 02:43:40 +0000 (02:43 +0000)
commitf763270b5315bb74cf6fa79c8f39d4f6633a29d3
tree521de5c9a40aa87c33d3f9b4f784ba545e08565f
parentd22a236ae72157fa0309d98ca244f387d66f3532
[mlir] Replace HTML escaped character
mlir/docs/Tutorials/transform/Ch1.md