diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-11 13:16:13 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-11 13:16:13 +0100 |
| commit | c9824ae88fc8bcc68bfda9cd108a294da5408c5f (patch) | |
| tree | d1a9baf9a08f16ce75150a465e5125ad98678274 /.gitignore | |
| parent | 7159ca172c19cd4b7ba9145e0b3a5d8f5398fe2f (diff) | |
doc: examples
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -34,4 +34,4 @@ doc/* !doc/*.texi !doc/*.am !doc/*.sh -!doc/*.php +!doc/examples/ |