Hi, I wonder if there could be the option to delete (your own, unneeded) files from trac tickets. This is particularly important as the buildbot still gets totally confused if there are files which should not be applied. Even if I tell the buildbot which files to apply.
Is there any reason (theoretical or technical) for not having such a feature? Thanks, Christian -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
