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