Notice: If you are member of any public project or group, please make sure that your GitLab username is not the same as the LRZ identifier/Kennung (see https://gitlab.lrz.de/profile/account). Please change your username if necessary. For more information see the section "Public projects / Öffentliche Projekte" at https://doku.lrz.de/display/PUBLIC/GitLab . Thank you!

Commit cc85ea4a authored by hm-schuhba1's avatar hm-schuhba1

Merge branch 'tikzgenerator-feature' into 'master'

add features to TikzGenerator

See merge request !76
parents 25bcc7b9 191e8b9f
Pipeline #132800 passed with stages
in 124 minutes and 33 seconds