diff options
| author | Erich Eckner <git@eckner.net> | 2020-03-05 10:54:30 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-03-05 10:54:30 +0100 |
| commit | 991892785923899a633174b9cb707a75657cc95a (patch) | |
| tree | 952f56d61223ff055210524ee2a9e546d9a7ae26 /blacklist/i486/ghc/agda-stdlib | |
| parent | 16095c818184cb58dc68575019d83b070f53f91e (diff) | |
| download | packages-991892785923899a633174b9cb707a75657cc95a.tar.xz | |
core/m4: remove upstreamed patch
Diffstat (limited to 'blacklist/i486/ghc/agda-stdlib')
0 files changed, 0 insertions, 0 deletions