file (tool)

A tool usually of hardened steel with cutting ridges for forming or smoothing surfaces. Used in woodworking, metalworking, and other trades and hobbies.

See also

• Nail file

External links

• Wikipedia: File (tool)