file down

verb

file down

verb
1

To reduce the size of something by filing (using the abrasive effects of a file).

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.