From 137c078450d20081d69f7048af92003b3dbde1d1 Mon Sep 17 00:00:00 2001
From: Jaifroid <egk10@cam.ac.uk>
Date: Sat, 4 Jul 2020 10:16:29 +0100
Subject: [PATCH] Update .gitignore

Former-commit-id: 34afe81a605af1867db7f75c6e53e18c9ea84e5c [formerly 6cbbb73695bf6289319bcdb9682407db7ddd03e2] [formerly e6002cfd96722fa889694940df53a05b0eaafc15 [formerly ccf94b5136e7cd4f3ddc39beb1dedf22111823b6]]
Former-commit-id: a6abcf21d712e4e456ea61a979a16a0ffd012031 [formerly f06e22c54c4084857ee876ee94e8ce480106eebf]
Former-commit-id: edb5f99af2eaeced03a9d1ec38a3a716b48943fc
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 5b530ebe..c7cd5bdf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ _pkginfo.txt
 /node_modules/
 package-lock.json
 .vscode/launch.json
+null