First time here? Check out the FAQ!
answered 12 years ago
You should be able to delete the devel folder, assuming you don't want to re-compile or get involved in Sage development.
devel