diff options
author | Shawn Pearce <spearce@spearce.org> | 2017-08-06 12:35:17 -0700 |
---|---|---|
committer | Shawn Pearce <spearce@spearce.org> | 2017-08-11 18:20:50 -0700 |
commit | 53dd9a9e4bc5ae325a70387882cdd38a71c8deca (patch) | |
tree | 7d2a4c896376b8200a8fe26624643d57af6abc2b /org.eclipse.jgit.pgm/resources/org | |
parent | ed29dec1eafb46225df5f9614262acc40aac7142 (diff) | |
download | jgit-53dd9a9e4bc5ae325a70387882cdd38a71c8deca.tar.gz jgit-53dd9a9e4bc5ae325a70387882cdd38a71c8deca.zip |
Rename extensions.refsStorage to refStorage
This matches the proposal that has been discussed at length on
git-core mailing list and seems to be the accepted convention.
Change-Id: I9f6ab15144826893d1e2a4b48a2d657d6dd445ec
Diffstat (limited to 'org.eclipse.jgit.pgm/resources/org')
-rw-r--r-- | org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties b/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties index 8666c34296..7c9816cf7b 100644 --- a/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties +++ b/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties @@ -257,7 +257,7 @@ usage_PrunePreserved=Remove the preserved subdirectory containing previously pre usage_ReadDirCache= Read the DirCache 100 times usage_RebuildCommitGraph=Recreate a repository from another one's commit graph usage_RebuildRefTree=Copy references into a RefTree -usage_RebuildRefTreeEnable=set extensions.refsStorage = reftree +usage_RebuildRefTreeEnable=set extensions.refStorage = reftree usage_Remote=Manage set of tracked repositories usage_RepositoryToReadFrom=Repository to read from usage_RepositoryToReceiveInto=Repository to receive into |