diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-05-14 17:27:39 +0200 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-05-14 17:39:22 +0200 |
commit | 5f904e7b973580bf8653529bf74e74a3003d56cb (patch) | |
tree | 50bd0438145f6d2409268c27ab901d475ca91759 /doc/.gitignore | |
parent | 765837de4ad6d2d21adf957296393f4d070ec50c (diff) | |
download | gnutls-5f904e7b973580bf8653529bf74e74a3003d56cb.tar.gz |
Auto-generated texi files were added.
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 3af24c19d4..915c30a332 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -30,4 +30,3 @@ alerts.texi alert-printlist latex/alerts.tex latex/functions -invoke-*.texi |