prior.py: fix reading of latex_labels to avoid multiple escape characters
1 related merge request: !581 Fix reading of latex_labels in prior file to avoid multiple escape characters
branch
4 jobs
7 minutes 21 seconds, queued for 4 seconds