mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-02 10:00:18 +02:00
9e87b56dd1
This fixes the synctex-related build failure with texlive 2018 (currently on 18.09). |
||
---|---|---|
.. | ||
default.nix |