diff options
| author | ng0 <ng0@n0.is> | 2018-01-19 19:40:42 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2018-01-19 19:40:42 +0000 |
| commit | 8a950d53f4110c464a7a7bf83db542120ef96ffd (patch) | |
| tree | bf6c1a83aa40abb631f9c12dbd918f8f4847a2b2 /.gitignore | |
| parent | 21350d07dbaf0f0c1c94bf498667f3c893cc420b (diff) | |
gitignore: Add non-public gnunet-doc.scm which happens to reside in the tree of ng0
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index edac4bb16e..a34b678b42 100644 --- a/.gitignore +++ b/.gitignore @@ -39,3 +39,4 @@ INSTALL confdefs.h confdefs.c confdefs.err +gnunet-doc.scm |