diff options
author | ajs124 <ajs124@users.noreply.github.com> | 2022-02-17 01:57:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-17 01:57:18 +0100 |
commit | 80160499bc389c787f679fe7c8d8f5848e55787b (patch) | |
tree | bf7a25e4464fd9c2f6251d87b391bcfe5ea3ff43 /pkgs/desktops | |
parent | 9137d7d156e4029c00e9ea37ea7381dfb442b8b7 (diff) | |
parent | c8fb08b1e4687aaca9d35bfad4c80296f54aeb2f (diff) |
Merge pull request #160340 from helsinki-systems/tetgen
tetgen: also install library and headers
Diffstat (limited to 'pkgs/desktops')
0 files changed, 0 insertions, 0 deletions