diff options
| author | liv <mokou@fastmail.com> | 2023-09-09 14:58:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-09 14:58:14 +0200 |
| commit | e12504a61d5fe193236a414378bc25c9ba77c19c (patch) | |
| tree | 69b91b191206dee93f942944c0a8143feff15031 /install.sh | |
| parent | 9de22c9afa873a1a88d424007ed0f66cc6a22403 (diff) | |
| parent | a5e41335161601acc3e86e0b9425c66c9af354c3 (diff) | |
Merge pull request #1667 from husjon/update-primitive_types3-requirement
Make `primitive_types3` require at least 100 elements
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions