diff options
| author | David Pursehouse <david.pursehouse@sonymobile.com> | 2013-04-18 10:57:46 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2013-04-19 09:35:43 +0900 |
| commit | 9d5bf60d3ce18441d43deb6ad9cec931b94e10b6 (patch) | |
| tree | 92260add56caee1254d0573e26c486947731cc8b /main.py | |
| parent | fef4ae74e26efecf5c803793351b6c843eab4970 (diff) | |
| download | git-repo-9d5bf60d3ce18441d43deb6ad9cec931b94e10b6.tar.gz | |
Set correct name in PyDev and Eclipse project config
The name of the project is shown as "repo" in the project list in
the Eclipse workspace.
This change renames it to "git-repo" to match the name of the git
repository.
The existing project in Eclipse must be removed (it is not necessary
to delete project contents on disk) and re-imported for the change to
take effect.
Change-Id: I2ac022d22f46e5361dfe49c0dbcad482aaefe628
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions