diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-06-18 16:09:22 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-06-18 16:10:54 +0200 |
| commit | 440b33545002e6ce461ba05a4035cdddfeb4380a (patch) | |
| tree | 4235d91cebef02626a467a1a1a350dde02abc940 /CHANGELOG | |
| parent | 755955621b0f5e37ff6c27098ca7dd185c506189 (diff) | |
make: Restore texi kludge
This was accidentally removed in [1: 872b19b0].
1: 2024-06-07 872b19b062653797e997db4907da59315ed16c5b
make: Integrate texi target
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions