Ubuntu
corewars package

Bug #197132
Comment #17

Comment 17 for bug 197132

Revision history for this message

Felipe Xavier (lipe-loko94) wrote on 2009-01-12:

#17

Changes the default corewars' editor to "editor", fixing bug #197132. (patch for Jaunty) Edit (804 bytes, text/plain)

Sorry, I attached the file for intrepid, here is the debdiff for jaunty.

Felipe Xavier