From: <el...@gm...> - 2011-12-12 20:01:05
|
MarkerSets (#30) - Successful: Changes for Build #30 [Shlomy Reinstein] Fixed bug #3455360: MarkerSets allow duplicate shortcuts Artifacts can be downloaded here: http://www.tellurianring.com/projects/jedit-daily/index.php?dir=MarkerSets |