From e0e590d9f146427901a6cafc1a3d102ce053bd04 Mon Sep 17 00:00:00 2001
From: Thomas Hackl <thomas.hackl@uni-passau.de>
Date: Sat, 14 Jul 2018 14:09:53 +0200
Subject: [PATCH] ignore puli stuff

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

diff --git a/.gitignore b/.gitignore
index 34ef035..7927f7c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,8 @@
 trac-to-gitlab.phar
 vendor/
+puli.phar
+puli.json
+.puli/
 
 # JetBrains
 .idea
\ No newline at end of file
-- 
GitLab