diff options
| author | Vedang Manerikar <ved.manerikar@gmail.com> | 2021-05-30 14:21:01 +0530 |
|---|---|---|
| committer | Vedang Manerikar <ved.manerikar@gmail.com> | 2021-05-30 23:28:22 +0530 |
| commit | 693c31c43eb044bbf1df702e6163d13b066ca404 (patch) | |
| tree | 1422997f75a875a10eb74aaf888ab0311e789aa7 /ci | |
| parent | 4163cd2597783fa7ed97acde87102652f81b8737 (diff) | |
Clean existing artifacts when executing `pdf-tools-install`
Ensure that existing .o files are deleted properly.
Fixes #16 and politza/pdf-tools#663
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions