From cc478e2a6e4a1f7019f9cee1ba869e1255265b09 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 18 Dec 2018 13:01:07 +0000 Subject: [PATCH] Turned library version badges blue --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d4c1895e..472836ba 100644 --- a/README.md +++ b/README.md @@ -5,9 +5,9 @@ permalink: /GettingStarted/ --- [![Build Status](https://travis-ci.org/plfa/plfa.github.io.svg?branch=dev)](https://travis-ci.org/plfa/plfa.github.io) -[![Agda](https://img.shields.io/badge/agda-2.5.4.2-brightgreen.svg)](https://github.com/agda/agda/releases/tag/v2.5.4.2) -[![agda-stdlib](https://img.shields.io/badge/agda--stdlib-0.17-brightgreen.svg)](https://github.com/agda/agda-stdlib/releases/tag/v0.17) -[![agda2html](https://img.shields.io/badge/agda2html-0.2.3.0-brightgreen.svg)](https://github.com/wenkokke/agda2html/releases/tag/v0.2.3.0) +[![Agda](https://img.shields.io/badge/agda-2.5.4.2-blue.svg)](https://github.com/agda/agda/releases/tag/v2.5.4.2) +[![agda-stdlib](https://img.shields.io/badge/agda--stdlib-0.17-blue.svg)](https://github.com/agda/agda-stdlib/releases/tag/v0.17) +[![agda2html](https://img.shields.io/badge/agda2html-0.2.3.0-blue.svg)](https://github.com/wenkokke/agda2html/releases/tag/v0.2.3.0) # Getting Started with PLFA