From 0c44ac093b4cdebfa51df04745b959365da978e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Gilles?= <sebastien.gilles@inria.fr>
Date: Mon, 17 May 2021 13:39:47 +0200
Subject: [PATCH] Minor change.

---
 0-introduction-to-C++.ipynb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/0-introduction-to-C++.ipynb b/0-introduction-to-C++.ipynb
index 69c16d6..bfc9a82 100644
--- a/0-introduction-to-C++.ipynb
+++ b/0-introduction-to-C++.ipynb
@@ -57,7 +57,7 @@
     "As indicated above, we tried to specify clearly in which standard specific features were introduced. Few guidelines:\n",
     "\n",
     "- C++ 14 is now a safe bet for most compilers, so you should probably choose this one instead of C++ 11. Vincent is working on a library named [Gudhi](https://gudhi.inria.fr/) that is rather conservative for the standard use (in the sense they want most users to be able to compile the code without having to install brand new environment) and they switched to C++ 14 in August 2019.\n",
-    "- C++ 17 support is now really widespread as well, but you may still lack some features if your distro is a bit backward (for instance default gcc compiler on still supported Ubuntu LTS 18.04 does not support the brand new filesystem (yes C++ was not historically a _batteries included_ language...). \n",
+    "- C++ 17 support is now really widespread as well, but you may still lack some features if your distro is a bit backward (for instance default gcc compiler on still supported Ubuntu LTS 18.04 does not support the brand new filesystem library (yes C++ was not historically a _batteries included_ language...)). \n",
     "\n",
     "\n",
     "### And C++ 20?\n",
-- 
GitLab