diff options
Diffstat (limited to 'docs/manual/developers.txt')
| -rw-r--r-- | docs/manual/developers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/developers.txt b/docs/manual/developers.txt index 3c31aa96fa..4e2cd71638 100644 --- a/docs/manual/developers.txt +++ b/docs/manual/developers.txt @@ -26,7 +26,7 @@ to include in his patch the appropriate modification to the The +DEVELOPERS+ file format is documented in detail inside the file itself. -The +get-developer+ tool, located in +support/scripts+ allows to use +The +get-developer+ tool, located in +utils/+ allows to use the +DEVELOPERS+ file for various tasks: - When passing one or several patches as command line argument, |
