diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-18 17:56:48 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-18 17:56:48 +0200 |
commit | f010861f617037589166f7e3e47c0aac89ceff9c (patch) | |
tree | 05754a985d7f64f898bd98dd1b1ea9d03fbad3dc /Makefile | |
parent | 22fbcf56476a71772d4d95d43bd1114e8e117bab (diff) |
Add missing config option
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions