From 393d23732d3fb9709ac348e54974a2bd283e0d7e Mon Sep 17 00:00:00 2001
From: Eduardo Almeida <enmsa@outlook.pt>
Date: Fri, 24 Apr 2020 21:08:29 +0100
Subject: [PATCH] Add .gitignore to scratch directory

---
 scratch/.gitignore | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 scratch/.gitignore

diff --git a/scratch/.gitignore b/scratch/.gitignore
new file mode 100644
index 000000000..7932ba266
--- /dev/null
+++ b/scratch/.gitignore
@@ -0,0 +1,5 @@
+# Ignore everything on scratch by default, except the provided examples
+/*
+!.gitignore
+!subdir/
+!scratch-simulator.cc