From 9b8dc5d017f84298ebe28bb37fc04ea583f2eb79 Mon Sep 17 00:00:00 2001 From: jgvictores Date: Fri, 24 Nov 2023 11:28:21 +0100 Subject: [PATCH] webots: improve --- docs/install-webots.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/install-webots.md b/docs/install-webots.md index e487b34..437d39a 100644 --- a/docs/install-webots.md +++ b/docs/install-webots.md @@ -7,8 +7,6 @@ Official pages: ## Install Webots (all platforms) -Simply go to and download your version. More versions can be found at (latest `Webots R2021a` recommended). +Simply go to and download your version. -## Install Webots (Ubuntu 18.04 Bionic and Ubuntu 20.04 Focal) - -The following direct link should work to download and install: `Webots R2021a`. +More versions can be found at (stable releases R202Xx are best for users, avoid nightly builds).