diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-11-17 12:29:10 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-11-17 12:29:10 +0100 |
| commit | d64e5193abff4b1877f7e839601950e2644aea7b (patch) | |
| tree | 19614dd0c18c965d3cedb0d4ba7b4f779d564d01 /src/Tupfile | |
| parent | 65c8c36777ae9c1ef69152b80c5e1043d410dbac (diff) | |
Use compact lists
Diffstat (limited to 'src/Tupfile')
0 files changed, 0 insertions, 0 deletions