From 3f20163cdd5a6f90039139832fa6e2ed33ba111e Mon Sep 17 00:00:00 2001 From: Aleksandar Markovic Date: Sat, 16 Apr 2022 18:35:15 +0200 Subject: [PATCH] doc: Remove reference to now non-existant ext subdirectory Directory /ext does not exist anymore. Remove the reference to it from the documentation. Signed-off-by: Aleksandar Markovic --- doc/project/dev_env_and_tools.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/project/dev_env_and_tools.rst b/doc/project/dev_env_and_tools.rst index 83d6513b32c..45ee0931dd8 100644 --- a/doc/project/dev_env_and_tools.rst +++ b/doc/project/dev_env_and_tools.rst @@ -409,4 +409,4 @@ Long term release branch related. * *EXT* -Related to an external component (in ``ext/``). +Related to an external component.