From caec8853f4a5f3005df5d028ee3c7a92675b5b34 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Hrb=C3=A1=C4=8D?= <david@hrbac.cz> Date: Thu, 12 Jan 2017 15:49:30 +0100 Subject: [PATCH] modify color font --- colors.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/colors.sh b/colors.sh index ecaa7dc29..ff7419942 100644 --- a/colors.sh +++ b/colors.sh @@ -4,7 +4,7 @@ do #git checkout -b color_${i/ /_} git checkout color_${i/ /_} sed -ri "s/(primary: ').*'/\1$i'/" mkdocs.yml - git cherry-pick 64ca62c16c5fd5724f415ccb6413e5fd3cb51076 + git cherry-pick bd8e358 git commit -am "Setting color to: $i" git push --set-upstream origin color_${i/ /_} git checkout colors -- GitLab