mirrors
/
jgit
mirror of https://github.com/eclipse/jgit.git
Watch 1
Star 0
Fork 0
Code Issues 0 Releases 204 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
3179 Commits
49 Branches
Tree: acd7ed5269
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'acd7ed5269'
${ noResults }
jgit/org.eclipse.jgit/resources/org/eclipse/jgit/gitrepo/internal/RepoText.properties

RepoText.properties 392B
Raw Blame History

1234567 
  1. copyFileFailed=Error occurred during execution of copyfile rule.

  2. errorNoDefault=Error: no default remote in manifest file.

  3. errorNoDefaultFilename=Error: no default remote in manifest file {0}.

  4. errorParsingManifestFile=Error occurred during parsing manifest file.

  5. errorRemoteUnavailable=Error remote {0} is unavailable.

  6. invalidManifest=Invalid manifest.

  7. repoCommitMessage=Added repo manifest.