On 2011-06-14 17:51, Christian Stump wrote: > 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? I think that Trac simply does not support this.
-- 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