commit | de40dfd1539f8d544bddeebbcfa78847707a0e57 | [log] [tgz] |
---|---|---|
author | Jacques Pienaar <jpienaar@google.com> | Thu Nov 18 08:23:49 2021 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Thu Nov 18 08:26:09 2021 -0800 |
tree | 13415a53bc1123f860a8f2692bf5ad22f00c9703 | |
parent | 113c852f414e64cec7f9a852d2e265a86887b168 [diff] |
[mlir][doc] Rename doc to match previous name Previous change inadvertently changed link. GitOrigin-RevId: a3f2be18b8fe440893d9dae260753b6bceb0e1aa
See https://mlir.llvm.org/ for more information.