From 0c49c3e2d425cc61c9842dddac2d82d86cbf5074 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 9 Sep 2021 15:18:56 +0200
Subject: [PATCH] gitignore

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index d260346..14fd79f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,6 @@
 /.idea/
 *.stub.php
 /refs
+*.diff
+*.lock
+*.tok
-- 
2.30.2