diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 10:37:31 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 10:19:39 +0000 |
| commit | f1328434a5b98da4e629c0edd2634eac145d0bc0 (patch) | |
| tree | 8828baff92490ba68946b59488c19f9266d03cc4 | |
| parent | c6f10907c38ce49ddc321539f75aabf0a9ad6c71 (diff) | |
docs: delete found_bugs.md
We don't reference it anywhere and we have the list right on the main page.
| -rw-r--r-- | docs/found_bugs.md | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/docs/found_bugs.md b/docs/found_bugs.md deleted file mode 100644 index 56206fb5a..000000000 --- a/docs/found_bugs.md +++ /dev/null @@ -1,15 +0,0 @@ -# Found bugs - -[Linux kernel bugs](linux/found_bugs.md) - -[Akaros kernel bugs](akaros/README.md) - -[FreeBSD kernel bugs](freebsd/found_bugs.md) - -[NetBSD kernel bugs](netbsd/found_bugs.md) - -[OpenBSD kernel bugs](openbsd/found_bugs.md) - -[Darwin/XNU](darwin/README.md) - -[Windows](windows/README.md) |