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
External links
Aliases: none
A tool usually of hardened steel with cutting ridges for forming or smoothing surfaces. Used in woodworking, metalworking, and other trades and hobbies.