diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-01-06 16:07:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-06 16:07:46 +0100 |
| commit | 923578e6f9195b26876d009692acb0084e3867da (patch) | |
| tree | 8528cc91f114279abca7fed18fbdbb7196b8f94f /src/doc | |
| parent | d5fd88cb854596802ecefc424425a549c05d2325 (diff) | |
| parent | af4913fcf4a23ff6f4ddd68a6b0266629105bddb (diff) | |
Rollup merge of #118781 - RalfJung:core-panic-feature, r=the8472
merge core_panic feature into panic_internals I don't know why those are two separate features, but it does not seem intentional. This merge is useful because with https://github.com/rust-lang/rust/pull/118123, panic_internals is recognized as an internal feature, but core_panic is not -- but core_panic definitely should be internal.
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/unstable-book/src/library-features/core-panic.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/doc/unstable-book/src/library-features/core-panic.md b/src/doc/unstable-book/src/library-features/core-panic.md deleted file mode 100644 index c197588404c..00000000000 --- a/src/doc/unstable-book/src/library-features/core-panic.md +++ /dev/null @@ -1,5 +0,0 @@ -# `core_panic` - -This feature is internal to the Rust compiler and is not intended for general use. - ------------------------- |