From ccc2efced99cdd284cae04bdc76bf21d2296c0cd Mon Sep 17 00:00:00 2001 From: Patrick Kanzler Date: Wed, 6 Sep 2023 01:27:08 +0200 Subject: [PATCH] fix spelling --- doc/dev/repository.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dev/repository.rst b/doc/dev/repository.rst index 42df9d8..207fb8d 100644 --- a/doc/dev/repository.rst +++ b/doc/dev/repository.rst @@ -12,6 +12,6 @@ working with the project (e.g. for packaging a development version). * Make sure that the git project is complete. A call to git status for example should succeed. -* Make sure that you have checked out all available subprojects. +* Make sure that you have checked out all available sub-projects. * Proper initialization of submodules can be ensured with ``git submodule update --init --recursive``