anjuta-extras 3.10.0 (September 23, 2013) -- James Liggett Akom Chotiphantawanon (1): Updated Thai translation Dimitris Spingos (1): Updated Greek translation James Liggett (2): Post-release version bump Updated files for 3.9.5 release Jeremy Bicha (1): extra: Switch from gnome-doc-utils to yelp-tools Seong-ho Cho (1): Updated Korean translation Sébastien Granjoux (2): scintilla: Update to scintilla 3.3.0 scintilla: Update to scintilla 3.3.4