From 9fece056476211f16c149b2b061ccece9b869e98 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Mon, 4 Jan 2021 11:12:35 -0800
Subject: [PATCH] Create TLA+ gitignore file

https://lamport.azurewebsites.net/tla/tla.html
---
 TLA+.gitignore | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 TLA+.gitignore

diff --git a/TLA+.gitignore b/TLA+.gitignore
new file mode 100644
index 00000000..91af834c
--- /dev/null
+++ b/TLA+.gitignore
@@ -0,0 +1,24 @@
+## Blacklist all files
+*
+
+## Whitelist TLA+ files
+!*.tla
+
+## Whitelist TLC model config and results
+!*.cfg
+!*.out  ## Usually .out files are small
+
+## Whitelist Toolbox model metadata
+!*.launch
+
+## Whitelist Toolbox spec metadata
+!.project
+!*.prefs
+
+## Whitelist all folders
+!*/
+
+## Blacklist TLAPS cache folder
+## See https://github.com/tlaplus/tlapm/issues/16
+__tlacache__
+.tlacache