diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-10 21:38:51 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-10 21:38:51 +0100 |
| commit | 983340ad4088c03022483d3668402473d45df303 (patch) | |
| tree | 92af33bb41d47248d26e13be6e7250560f9aaa15 /.gitignore | |
| parent | 9ae1a79296fcc3e0a9a2f762fc714232053e7d75 (diff) | |
doc: adding individual snippets files
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -34,3 +34,4 @@ doc/* !doc/*.texi !doc/*.am !doc/*.sh +!doc/*.php |