diff options
| author | Ørjan Malde <red@foxi.me> | 2023-04-02 14:32:04 +0200 |
|---|---|---|
| committer | Ørjan Malde <red@foxi.me> | 2023-04-02 14:41:37 +0200 |
| commit | 7837e6b970cfb743abb7e46e99d05795f1264c36 (patch) | |
| tree | 90e05507388e05489dae08818f1a4d9846ab1454 /etc | |
| parent | 010a87bee02a49f55e3e8d7344ccadcdbd1c374f (diff) | |
| download | midipix_build-7837e6b970cfb743abb7e46e99d05795f1264c36.tar.bz2 midipix_build-7837e6b970cfb743abb7e46e99d05795f1264c36.tar.xz | |
patches/php-8.1.10{_pre}.local.patch: universally use DESTDIR
Signed-off-by: Ørjan Malde <red@foxi.me>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions