pippin file

English dictionary entry

Meanings

noun
  1. A kind of file (rasping tool) for work with keys such as impressioning.

Word forms

pippin file pippin files
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.