From 46a6ff183d9765ff53ea48d6d9e60ea33006d936 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Sun, 5 Nov 2017 18:01:27 +0100
Subject: [PATCH] Don't ignore index.php.dist when exporting Git repo

We need this file to create Pico's pre-built release archives
---
 .gitattributes | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitattributes b/.gitattributes
index e641f50..0d8d494 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -9,4 +9,3 @@
 /.phpcs.xml         export-ignore
 /.phpdoc.xml        export-ignore
 /.travis.yml        export-ignore
-/index.php.dist     export-ignore