mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-11 15:08:33 +01:00
9e87b56dd1
This fixes the synctex-related build failure with texlive 2018 (currently on 18.09). |
||
---|---|---|
.. | ||
default.nix |