From 0c76512b8210fa546adc1b75e9e27de8293c5be7 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Wed, 19 Jun 2019 11:40:27 -0700
Subject: [PATCH] Creating a new repository for SmartThings Groovy
 infrastructure for model-checking.

---
 README | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 README

diff --git a/README b/README
new file mode 100644
index 0000000..d0c01ac
--- /dev/null
+++ b/README
@@ -0,0 +1,2 @@
+This is a new repository for the SmartThings execution infrastructure for Groovy.
+This project attempts to model-check SmartThings Groovy smart apps.
-- 
2.34.1