diff options
Diffstat (limited to 'contributing.md')
| -rw-r--r-- | contributing.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contributing.md b/contributing.md index 832667d..eec5bc0 100644 --- a/contributing.md +++ b/contributing.md @@ -38,6 +38,6 @@ - External libraries should be included as Git submodules under the `lib/` subdirectory -- When adding new submodules, make sure to manually set the `branch` and - `shallow` options in the [.gitmodules](./.gitmodules) file +- When adding new submodules, please set the `shallow` option to `true` in the + [.gitmodules](./.gitmodules) file |