Jermolene/TiddlyWiki5 — pull request #632 by danielo515 (2014-06-01 11:42:18+00:00)
Title: Codemirror themes

Added codemirror themes
Created shell script for processing theme files
updated plugin to include those themes

Sorry, I'm including my previous commits. I don't know how to do it in a separate pull request. Those include adding Daniel Rodríguez to the contributors list.