From 7f6e599b90cb369a6fde9ce2ccaf8308132151d1 Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Tue, 18 Aug 2015 07:40:21 +0200 Subject: [PATCH] Update and rename README to README.md --- README | 1 - README.md | 3 +++ 2 files changed, 3 insertions(+), 1 deletion(-) delete mode 100644 README create mode 100644 README.md diff --git a/README b/README deleted file mode 100644 index 2f02b90..0000000 --- a/README +++ /dev/null @@ -1 +0,0 @@ -tla2bAST \ No newline at end of file diff --git a/README.md b/README.md new file mode 100644 index 0000000..67fb003 --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# tla2bAST + +[](https://travis-ci.org/hhu-stups/tla2bAST) -- GitLab