Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- {
- "shell_cmd": "pdflatex \"${file}\"",
- "working_dir": "${file_path}",
- "selector": "text.tex.latex",
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement