Skip to content
Snippets Groups Projects
Commit 1f225a0a authored by Piotr Gawron's avatar Piotr Gawron
Browse files

Merge branch '1865-bold-lines-for-complexes' into 'master'

Resolve "Bold lines for complexes"

Closes #1865

See merge request !1633
parents fdb7c42f 8eda052a
No related branches found
No related tags found
2 merge requests!1700Resolve "introduce new frontend to the jar file build process",!1633Resolve "Bold lines for complexes"
Pipeline #84077 passed
Showing
with 112 additions and 101 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment