2 Commits

Author	SHA1	Message	Date
River Riddle	89b007037f	[mlir][docs] Remove the MLIR prefix from several titles. ... This prefix is already implied by the doc location and functions only as filler.	2020-04-11 14:49:03 -07:00
Mehdi Amini	5b4a01d4a6	Adjust some MLIR paths and docs	2019-12-24 02:23:01 +00:00