On Monday, March 30, 2015 at 10:29:14 AM UTC+2, Simon King wrote: > > On 2015-03-30, Volker Braun <[email protected] <javascript:>> wrote: > > You can delete the extraneous files. > OK. But how did they come there? I thought that meanwhile there is a > separate folder for compiling Sage code. >
They were in the .gitignore before but the ticket that moved them also remove the ignore entries for the old file locations. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
