diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2023-02-27 12:32:30 +0100 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2023-02-28 10:14:28 +0100 |
| commit | c08b40bf9d9bb8b5f78169986c35a460a81654e1 (patch) | |
| tree | 2cb6f6fef6aa2360eaef302989ed85cd60fadb16 /GNUmakefile | |
| parent | 27d80129ec8d959ec375873090bb2eec825ec671 (diff) | |
fix: Incorporate rename requests
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions