Skip to content
Snippets Groups Projects

simplify telescope-based notations

Passed
Ralf Jung created pipeline for commit ea0b55fa
, finished
Related merge request !762 to merge telescope-notation
12 minutes 24 seconds, queued for 15 seconds