Revision: infra--main--0--patch-206 Archive: administrat...@sv.gnu.org Creator: root <r...@savannah.gnu.org> Date: Mon Jun 22 18:11:33 EDT 2009 Standard-date: 2009-06-22 22:11:33 GMT Modified-files: maintenance/delete_project.sh New-patches: administrat...@sv.gnu.org/infra--main--0--patch-206 Summary: delete_project.sh bug when using different filesystems (mv) Keywords:
TODO: add a diff here :) _______________________________________________ Savannah-cvs mailing list Savannah-cvs@gnu.org http://lists.gnu.org/mailman/listinfo/savannah-cvs
