From df962b3ffe6015bdd80b97df59ee5dfcbc197ea8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Sat, 27 Jun 2015 23:53:28 -0300
Subject: [PATCH] README: Rename with .md extension.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Otherwise, it doesn't get recognized by GitHub's parser as being formatted
in markdown.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
---
 deploy/{README => README.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename deploy/{README => README.md} (100%)

diff --git a/deploy/README b/deploy/README.md
similarity index 100%
rename from deploy/README
rename to deploy/README.md