[Mlir-commits] [mlir] [mlir][Properties] Shorten "Property" to "Prop" in most places (PR #120368)

Markus Böck llvmlistbot at llvm.org
Mon Dec 23 09:31:46 PST 2024


https://github.com/zero9178 approved this pull request.


https://github.com/llvm/llvm-project/pull/120368


More information about the Mlir-commits mailing list