diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-05-19 14:50:45 +0200 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-05-29 10:31:59 +0200 |
| commit | 6595aae23ef29e8974c38f0d2ad97a2803eee3ae (patch) | |
| tree | a52654ae2b55a345376d9ec89d8b1eac0d23ad6f /src/input_handler.cc | |
| parent | d9ea62666b2671bc1ee4ef2dd7debd6fe8965dcf (diff) | |
make clean: also clean up generated version files
We also discussed using "git clean -dXf" but that could remove files
that were not generated by make.
Closes #4619
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions