diff options
author | Daniel Lange <DLange@git.local> | 2024-04-17 11:10:46 +0200 |
---|---|---|
committer | Daniel Lange <DLange@git.local> | 2024-05-17 21:09:20 +0200 |
commit | 8dfe7ed6454341dd571bf72dc56af1ba22743221 (patch) | |
tree | f6c6a8935c0813650934f3f5b97149fb48c8be3a /ScreenManager.c | |
parent | a94e7661ba7dbdc8d71d348ca79e003abecbbdd2 (diff) |
Improve `make dist` to warn on building inside a git repositorymain
Diffstat (limited to 'ScreenManager.c')
0 files changed, 0 insertions, 0 deletions