From 4157998eb503cb092777447c8b2852b3e64fad03 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 6 Aug 2015 18:52:02 +0200
Subject: [PATCH] build status + some info for future Jens

---
 README.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 6ef97a9..1342aba 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,16 @@
 # Rodin B AST
 
+[![Build Status](https://travis-ci.org/hhu-stups/rodin-ast.svg?branch=master)](https://travis-ci.org/hhu-stups/rodin-ast)
+
 This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.
 
-No original file is changed, but we added this README and the build.gradle.
+No original file is changed, but we added:
+* README.md
+* build.gradle
+* .travis.yml
+* gradle.properties.enc
+* secring.gpg.enc
+* pubring.gpg.enc
 
 Note to future Jens:
 After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**
-- 
GitLab