pippin file
English
Etymology
(This etymology is missing or incomplete. Please add to it, or discuss it at the Etymology scriptorium.)
Noun
pippin file (plural pippin files)
- A kind of file (rasping tool) for work with keys such as impressioning.