diff options
| author | Joel Bodenmann <jbo@FreeBSD.org> | 2025-09-08 17:30:28 +0200 |
|---|---|---|
| committer | Joel Bodenmann <jbo@FreeBSD.org> | 2025-09-08 17:42:24 +0200 |
| commit | aa99aee8535894a01de0a3323b3ae3ba87754544 (patch) | |
| tree | 933c8abc823ff7aa831f6e0a8efa9f3986aed902 /security/gvm-libs/distinfo | |
| parent | textproc/highlight: Remove accidentally added OPTIONS_DEFAULT=GUI (diff) | |
Changelog: https://github.com/YosysHQ/nextpnr/releases/tag/nextpnr-0.9
Also enable use of OpenMP when available.
Diffstat (limited to 'security/gvm-libs/distinfo')
0 files changed, 0 insertions, 0 deletions