pippin file
Jump to navigation
Jump to search
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.