diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-11-23 23:36:28 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-11-23 23:36:43 +0100 |
| commit | e2492535cf8ecff85595712e69774d94dd98a751 (patch) | |
| tree | 4141ddf5fee8c82ea00df9e2dfcf6f8fd4a53e7b /Makefile | |
| parent | 8b91af88666b2289daaf7ca655ab039c8ad9488a (diff) | |
Proper rebuilding of plugins when headers change
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions