diff options
| author | Erich Eckner <git@eckner.net> | 2018-11-13 16:05:47 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-11-13 16:05:47 +0100 |
| commit | 4341454912385a1d6fe1a2845d9a639c051bff44 (patch) | |
| tree | 92d2ae0c2e7e9913e6526309408f4524e881498a /extra/devtools | |
| parent | fbfb8b1b85f04b5a1a7b78b17c4c6517d72a571e (diff) | |
| download | packages-4341454912385a1d6fe1a2845d9a639c051bff44.tar.xz | |
extra/sbcl: remove obsolete patch
Diffstat (limited to 'extra/devtools')
0 files changed, 0 insertions, 0 deletions