What is to plaster with a mixture of lime and shells or pebbles; as, to roughcast a building called?

roughcast — To plaster with a mixture of lime and shells or pebbles; as, to roughcast a building. (Webster's 1913.)

Sources