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)
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.