On Thursday, October 2, 2025 at 7:14:56 PM UTC+2 John H Palmieri wrote: Does "make distclean" remove all of these autogenerated files?
It should, but its possible that something was missed. To be totally sure you can run e.g. git clean -f -d -x -e upstream . -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/962bc2f0-a93e-4681-b890-3a2011bcc1a0n%40googlegroups.com.
