diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-04-01 21:15:39 +0200 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-04-01 21:15:39 +0200 |
| commit | a0aaa2e730bce1bbc2717045bc964a97de91d7a1 (patch) | |
| tree | fa41aa896bfbedc13409d8cf4b46f0d707bab209 /Makefile | |
| parent | 33343f96d94f2d7f12567b1c227e4e2399c8bd1b (diff) | |
minor fixes
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions