diff options
Diffstat (limited to 'main/quagga/texinfo.patch')
| -rw-r--r-- | main/quagga/texinfo.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/main/quagga/texinfo.patch b/main/quagga/texinfo.patch deleted file mode 100644 index 9f50687c69..0000000000 --- a/main/quagga/texinfo.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- ./doc/ipv6.texi.orig 2013-03-13 09:18:49.807751249 +0000 -+++ ./doc/ipv6.texi 2013-03-13 09:19:04.531223449 +0000 -@@ -136,8 +136,8 @@ - Default: 0 - @end deffn - --+@deffn {Interface Command} {ipv6 nd home-agent-lifetime <0-65520>} {} --+@deffnx {Interface Command} {no ipv6 nd home-agent-lifetime [<0-65520>]} {} -+@deffn {Interface Command} {ipv6 nd home-agent-lifetime <0-65520>} {} -+@deffnx {Interface Command} {no ipv6 nd home-agent-lifetime [<0-65520>]} {} - The value to be placed in Home Agent Option, when Home Agent config flag is set, - which indicates to hosts Home Agent Lifetime. The default value of 0 means to - place the current Router Lifetime value. |