From e66ce87b3d6b138a768c34f96b323a74333c0633 Mon Sep 17 00:00:00 2001
From: MIT License Bot <remy@leftlogic.com>
Date: Tue, 10 Mar 2020 01:06:56 +0000
Subject: [PATCH] chore: Automated creation of user trusted-systemlab.

---
 users/trusted-systemlab.json | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 users/trusted-systemlab.json

diff --git a/users/trusted-systemlab.json b/users/trusted-systemlab.json
new file mode 100644
index 00000000..ca00590c
--- /dev/null
+++ b/users/trusted-systemlab.json
@@ -0,0 +1,8 @@
+{
+  "copyright": "Trusted System Lab ",
+  "url": "https://formal-analysis.com/research/npat/",
+  "format": "html",
+  "license": "mit",
+  "theme": "default",
+  "gravatar": false
+}
\ No newline at end of file