Forget that patch, I did other patch that changes the default corewars' editor to editor instead of nedit ;D
Felipe Xavier
Forget that patch, I did other patch that changes the default corewars' editor to editor instead of nedit ;D
Felipe Xavier