From 8e99fd8cb44ddaa40aa06b1be339dd4444f09699 Mon Sep 17 00:00:00 2001
From: Volker Birk <vb@pep-project.org>
Date: Mon, 8 Jun 2020 13:02:36 +0200
Subject: [PATCH] ..

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

diff --git a/.gitignore b/.gitignore
index 87e24d9..b72d512 100644
--- a/.gitignore
+++ b/.gitignore
@@ -53,3 +53,4 @@ tags
 # Persistent undo
 [._]*.un~
 
+ws