diff options
author | 2010-05-25 23:29:16 +0200 | |
---|---|---|
committer | 2010-05-25 23:29:16 +0200 | |
commit | 7fe3b48dd040e5ebaa1c78905536556da01e96c2 (patch) | |
tree | e2a5bc6f318dfe5d24e76528e1e33f5be8b5336b | |
parent | Improve overlay detection from gitosis.conf (diff) | |
download | repositories-xml-format-7fe3b48dd040e5ebaa1c78905536556da01e96c2.tar.gz repositories-xml-format-7fe3b48dd040e5ebaa1c78905536556da01e96c2.tar.bz2 repositories-xml-format-7fe3b48dd040e5ebaa1c78905536556da01e96c2.zip |
Bring PHP overlay name back in sync
-rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index 20205df..2546089 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -34,7 +34,6 @@ repo_name_mapping = { 'sci':'science', 'perl-overlay':'perl-experimental', 'xfce':'xfce-dev', - 'php':'php-experimental', 'gnome-perf':'leio-gnome-perf', 'flameeyes':'flameeyes-overlay', } |