Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

The developer manual has a walk through of the patch applying process. Essentially you can just use the Sage command


but really you want to create a clone of the repository first if you want to get rid of the patch later.