From 4bd4d240669b1b5f11e6617542f971a5d2715538 Mon Sep 17 00:00:00 2001
From: Paul Schaub <vanitasvitae@fsfe.org>
Date: Tue, 21 Aug 2018 16:21:20 +0200
Subject: [PATCH] Update .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index a482e190..8e2bccdc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ pgpainless-core/.classpath
 pgpainless-core/.project
 pgpainless-core/.settings/
 
+push_html.sh