Commits

Martin Geisler committed a4a5d2c

Rephrase "it" -> "the user"

  • Participants
  • Parent commits fe649c4

Comments (0)

Files changed (1)

 By default the extension does *not* load the remote projrc file from
 *any* server. For security reasons, the user must manually select
 which keys of the remote projrc file will be automatically transferred
-from the remote repository on clone or on each pull. It must also
-select from which servers the projrc file must be pulled.
+from the remote repository on clone or on each pull. The user must
+also select from which servers the projrc file must be pulled.
 
 The reason for not accepting all remote projrc settings automatically
 is that it would be possible to create a malicious projrc file that