校令
汉 代掌管修建、修理宫室等建筑物的官名。 三国 魏 和 晋 也曾一度沿用其称。《后汉书·百官志四》:“左校令一人,六百石。本注曰:掌左工徒,丞一人。右校令一人,六百石。本注曰:掌右工徒,丞一人。”