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 /doc | |
| parent | 3c5a0a4f8fe3811affff6d5e123379eedb083571 (diff) | |
[git administrivia] remove auto-built quagga.info, add to gitignore.
Diffstat (limited to 'doc')
| -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 |