diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-21 09:48:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-21 09:48:35 +0100 |
| commit | 826dadc3acc0f4548728a468efd034cefd8134e1 (patch) | |
| tree | 4665aa233b545c0973d884b8fb8e85f13061ebb2 /extra/texmacs | |
| parent | ed46bae36bb918cba935fd474ae28a913fed0618 (diff) | |
| download | packages-826dadc3acc0f4548728a468efd034cefd8134e1.tar.xz | |
core/ding-libs: remove obsolete patch
Diffstat (limited to 'extra/texmacs')
0 files changed, 0 insertions, 0 deletions