Revision: infra--main--0--patch-209
Archive: administrat...@sv.gnu.org
Creator: root <r...@savannah.gnu.org>
Date: Sat Aug 8 08:41:26 EDT 2009
Standard-date: 2009-08-08 12:41:26 GMT
New-files: git/.arch-ids/install-merge-prohibiting-push-hook.id
git/install-merge-prohibiting-push-hook
Modified-files: maintenance/delete_project.sh
New-patches: administrat...@sv.gnu.org/infra--main--0--patch-209
Summary: install-merge-prohibiting-push-hook: new script
Keywords:
TODO: add a diff here :)
_______________________________________________
Savannah-cvs mailing list
Savannah-cvs@gnu.org
http://lists.gnu.org/mailman/listinfo/savannah-cvs
