pippin file (English, noun)
expansion: pippin file (plural pippin files)
Senses:
glosses: A kind of file (rasping tool) for work with keys such as impressioning.
Forms:
form: pippin files
tags: plural