From 28dfd0ab5990d6ceeabe6d65573881717dab3752 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Campinas?= Date: Thu, 18 Apr 2019 09:37:53 +0200 Subject: [PATCH] no need to main the separate wiki page no need to maintain a separate page for the options given the new configuration browser --- Processes.md | 1 - 1 file changed, 1 deletion(-) diff --git a/Processes.md b/Processes.md index ccdb65f29ad..92bf552537a 100644 --- a/Processes.md +++ b/Processes.md @@ -15,7 +15,6 @@ Open a pull request that closes the tracking issue. The tracking issue is listed - Update the `Config` enum marking the option as stable. - Update the the `Configuration.md` file marking the option as stable. -- Update the unstable options wiki page: https://github.com/rust-lang/rustfmt/wiki/Stability-of-Config-Options . ## After the stabilisation