]> git.tuebingen.mpg.de Git - lopsub.git/search
Add target to create a static library.