From 19913ce89aed28032332c2e7dbc47e206e06c8b1 Mon Sep 17 00:00:00 2001 From: viennet Date: Tue, 15 Dec 2020 08:50:19 +0100 Subject: [PATCH] Fix comment --- config/install_debian10.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/config/install_debian10.sh b/config/install_debian10.sh index 8e28134df..9195c4f64 100755 --- a/config/install_debian10.sh +++ b/config/install_debian10.sh @@ -2,9 +2,10 @@ # # ScoDoc: install third-party software necessary for our installation -# starting for a minimal Debian (Stretch, 9.0) install. +# starting for a minimal Debian (Buster, 10.0) install. # -# E. Viennet, Jun 2008, Apr 2009, Sept 2011, Sept 2013, Nov 2013, Mar 2017, Jul 2017, Jun 2019, Oct 2019 +# E. Viennet, Jun 2008, Apr 2009, Sept 2011, Sept 2013, Nov 2013, Mar 2017, Jul 2017, +# Jun 2019, Oct 2019, Dec 2020 # source config.sh