From 4a225fd9cdee45496f07e9debda1f4be880dac29 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Sun, 16 Sep 2018 12:13:14 +0200
Subject: [PATCH] ignore listings

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

diff --git a/.gitignore b/.gitignore
index 5361b26..8addb51 100644
--- a/.gitignore
+++ b/.gitignore
@@ -612,3 +612,4 @@ target/
 .vagrant/
 .vagrant
 web/3_sem/tomcat/webservice/
+*.listing