diff options
| -rw-r--r-- | docs/DeveloperPolicy.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html index 0c62a1d..689bcb0 100644 --- a/docs/DeveloperPolicy.html +++ b/docs/DeveloperPolicy.html @@ -429,7 +429,7 @@ Changes</a></div> their contributors. However, we do not want the source code to be littered with random attributions "this code written by J Random Guy" (this is noisy and distracting). In practice, the revision control system keeps a perfect - history of who change what, and the CREDITS.txt file describes higher-level + history of who changed what, and the CREDITS.txt file describes higher-level contributions. If you commit a patch for someone else, please say "patch contributed by J Random Guy!" in the commit message.</p> |