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.