Closes #147 (closed)
Pipeline #114870 passed
Pipeline passed for e3563c8e on 147-tex-formating-consulting 3 years ago
Merge details
Closed #147 (closed)
Pipeline #114912 passed
Pipeline passed for 9b66435a on master 3 years ago
assigned to @tfoerst1
added 1 commit
Compare with previous version
marked this merge request as ready
merged
mentioned in commit 9b66435a
unassigned @tfoerst1
