Skip to content
GitLab
Explore
Sign in
Office
Kile
Merge requests
!85
The source project of this merge request has been removed.
Make warning RegEx non-greedy.
Samuel Jimenez
requested to merge
(removed):work/wraith/fix-regex
into
master
Mar 26, 2024
Overview
1
Pipelines
0
Changes
1
Expand
Fix RegEx for warnings so bibliography back end is correctly detected.
Merge request reports