Revision 0dafb9130a112a1b3b271eb869209ba5fcad20b6 authored by Lars Bilke on 09 April 2021, 09:46:35 UTC, committed by Lars Bilke on 09 April 2021, 09:46:35 UTC
Fix linking gui tools

See merge request ogs/ogs!3558
2 parent s 00d9dda + 895e392
History

back to top