From 74bba098a0e817d8d54d10f56d8229376cfccf01 Mon Sep 17 00:00:00 2001 From: Dennis Ushakov Date: Thu, 31 Jan 2013 19:54:49 +0400 Subject: [PATCH] official GitHub theme is now used, fixed name case --- colorSchemes/src/colorSchemes/github.xml | 662 +++++++++++++---------- 1 file changed, 367 insertions(+), 295 deletions(-) diff --git a/colorSchemes/src/colorSchemes/github.xml b/colorSchemes/src/colorSchemes/github.xml index 10ee41801d9e..ea6d3b4212b3 100644 --- a/colorSchemes/src/colorSchemes/github.xml +++ b/colorSchemes/src/colorSchemes/github.xml @@ -1,38 +1,39 @@ - + @@ -1164,12 +1191,12 @@ @@ -1833,32 +1890,30 @@