answered 13 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