Fixes #793: display the star logo on mobile instead of home logo

[github/shaarli/Shaarli.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 9121905d84603c1943753a4e7bd8d981af6f9aec..e64c8a4be448800066f3f99f754f56c5210c8580 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,8 @@ phpmd.html
 
 # User plugin configuration
 plugins/*/config.php
+
+# 3rd party themes
+tpl/*
+!tpl/default
+!tpl/vintage