From 25eb06ac46c10f9416a804634a1bd6f9a4839849 Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Sat, 20 Apr 2019 01:50:02 +0100
Subject: [PATCH] Remove from .gitignore stuff that should clearly go to
 developer's global gitignore instead

---
 .gitignore | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/.gitignore b/.gitignore
index 57ea182b2c..19e0cb7fe7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,30 +2,17 @@ avatar/
 files/
 file/
 local/
-_darcs/
 logs/
 log/
 run/
 config.php
 .htaccess
 httpd.conf
-*.tmproj
 dataobject.ini
-*~
 *.bak
 *.orig
 *.rej
-.#*
-*.swp
-.buildpath
-.project
-.settings
 TODO.rym
 config-*.php
 good-config.php
-lac08.log
-php.log
-.DS_Store
-nbproject
 *.mo
-
-- 
2.39.5