Merge branch 'main' into main

This commit is contained in:
Jakob P. Liljenberg 2023-11-25 21:51:09 +01:00 committed by GitHub
commit 0bb8599a96
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 5 deletions

3
.gitignore vendored
View file

@ -54,9 +54,6 @@ btop
# Optional libraries
lib/rocm_smi_lib
# Optional libraries
lib/rocm_smi_lib
# Don't ignore .github directory
!.github/

View file

@ -712,8 +712,6 @@ Also needs a UTF8 locale and a font that covers:
gmake help
```
</details>
<details>