diff options
author | sternenseemann <sternenseemann@systemli.org> | 2022-09-28 14:17:58 +0200 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2022-09-28 14:17:58 +0200 |
commit | 6e75b87b1087270c84e07c2ec47b05e92b3afc2f (patch) | |
tree | 7be433efea9c298e570323e61916c31932650382 /pkgs/profpatsch | |
parent | e0685e81b3fdc43a272f0d5c3c0ab4ad5ed5a797 (diff) |
machines/sternenseemann/ludwig: drop now obsolete spidermonkey fix
Seems like upstream fixed this header related issue in the meantime (or someone worked around it in nixpkgs).
Diffstat (limited to 'pkgs/profpatsch')
0 files changed, 0 insertions, 0 deletions