diff options
author | Paul Jakma <paul.jakma@sun.com> | 2006-02-19 17:45:56 +0000 |
---|---|---|
committer | Paul Jakma <paul@quagga.net> | 2008-08-22 19:49:34 +0100 |
commit | 7a842a7bc46dd9ce368e4a6aff479861d0e68de2 (patch) | |
tree | 63d4885566f6567849dabcf500b80a69addf33e7 | |
parent | 3c5a0a4f8fe3811affff6d5e123379eedb083571 (diff) |
[git administrivia] remove auto-built quagga.info, add to gitignore.
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 5c3c752a..43987b24 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -7,6 +7,7 @@ zebra.html defines.texi version.texi quagga.html +quagga.info *.pdf *.eps quagga.ps |