First time here? Check out the FAQ!
answered 2012-06-08 19:36:46 +0100
You should be able to delete the devel folder, assuming you don't want to re-compile or get involved in Sage development.
devel