diff options
author | 2015-08-15 03:16:27 +0200 | |
---|---|---|
committer | 2015-08-15 03:16:27 +0200 | |
commit | a8e61109c53ca4280b3978f2c1cc09103ea19524 (patch) | |
tree | 81c64cbf037d7c2b2635b12c83e5ea1d49532607 | |
parent | dev-java/jsr250: 1.2 (diff) | |
download | eclipse-a8e61109c53ca4280b3978f2c1cc09103ea19524.tar.gz eclipse-a8e61109c53ca4280b3978f2c1cc09103ea19524.tar.bz2 eclipse-a8e61109c53ca4280b3978f2c1cc09103ea19524.zip |
profiles: Strip "-overlay" from repo_name
-rw-r--r-- | profiles/repo_name | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/repo_name b/profiles/repo_name index 64d8174..60847ff 100644 --- a/profiles/repo_name +++ b/profiles/repo_name @@ -1 +1 @@ -eclipse-overlay +eclipse |