From 983340ad4088c03022483d3668402473d45df303 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 10 Nov 2016 21:38:51 +0100
Subject: doc: adding individual snippets files

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index c2fa814d..0e59f3de 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,3 +34,4 @@ doc/*
 !doc/*.texi
 !doc/*.am
 !doc/*.sh
+!doc/*.php
-- 
cgit v1.2.3