diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-03-18 19:37:28 +0100 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-03-18 19:37:28 +0100 |
commit | 8a8a342a909cf5923844b4fed5775ca1aa513ede (patch) | |
tree | aeef5a30de6a001e5677a9a50d344cd4d0aade06 /GNUmakefile | |
parent | d511eeef190ffa4ec5ade049af415a04e7a82bfc (diff) |
Comment out ‘not minted’ entry in table key
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions