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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions