You can also delete the relevant files in $SAGE_ROOT/devel/sage/build
(search through all three subfolders).
David
On Mon, Apr 8, 2013 at 4:48 AM, Nathann Cohen wrote:
> Hello everybody !!
>
> I am having a small problem with patch 14355 which supposedly removes
> a module that was "neve
Le 08/04/2013 12:48, Nathann Cohen a écrit :
Well, is there any way out ? :-P
Yes. Test patches in a clean install.
Snark on #sagemath
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails fr
Hello everybody !!
I am having a small problem with patch 14355 which supposedly removes
a module that was "never used". Indeed, all tests used to pass when
the module was removed, but it looks like it is mostly due to the fact
that removing the module does not remove the corresponding .py
