diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-07-29 13:12:07 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-07-29 13:12:07 +0200 |
| commit | a6512c1dc52c013b6b3c25840058d8a9085b0cc1 (patch) | |
| tree | d901f1702f62f80e6cc5a0f126c28ec9d44dc0d3 /Makefile | |
| parent | 1c5f7db2f8b53650f9b00757f432201d9b952180 (diff) | |
Support -v, and make -d imply -v
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions