comparison .settings/org.eclipse.jdt.ui.prefs @ 73:accf93be8c12 tn5250

update documentation; use xterm-256color as default terminal type
author Carl Byington <carl@five-ten-sg.com>
date Sat, 14 Jun 2014 08:54:34 -0700
parents 0ce5cc452d02
children
comparison
equal deleted inserted replaced
72:8181cb01c64d 73:accf93be8c12