From 72a28b198b5eaaf2e37cfe0b9911c5f2bc7eda26 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Tue, 21 Feb 2023 16:22:57 +0100
Subject: [PATCH] gitignore: ignore demo PID file

Change-Id: Iab6bd32c51772f5bcf256802c9bb7082be5e7873
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30486
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>
Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index e288e4ac..552c888d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+frappydemo.PID
 log/*
 html/*
 *.pyc
@@ -21,4 +22,4 @@ doc/_build
 ._*
 
 # pyinstaller
-dist/
\ No newline at end of file
+dist/