Merge "Libraries" to existing "lib"

Brought to you by: andre_schenk, sbormann71, tkurz, wsb56

#3 Merge "Libraries" to existing "lib"

Milestone: 14.0.0

Status: closed

Owner: Thomas Kurz

Labels: GIT (1)

Updated: 3 days ago

Created: 7 days ago

Private: No

Redundanz entfernen

André Schenk - 6 days ago

Milestone: 1.0 --> 14.0.0
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Thomas Kurz - 3 days ago

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: