-
Alexander Korotkov authored
* Rename column "Opfamily Name" to "Operator family" for uniformity. * Rename column alias from "t1" to "t".
18b9d22c
* Rename column "Opfamily Name" to "Operator family" for uniformity. * Rename column alias from "t1" to "t".