OLD | NEW |
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" | 1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" |
2 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> | 2 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> | 3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
4 <head> | 4 <head> |
5 <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" /
> | 5 <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" /
> |
6 <meta name="generator" content="AsciiDoc 8.6.9" /> | 6 <meta name="generator" content="AsciiDoc 8.6.9" /> |
7 <title>depot_tools(7)</title> | 7 <title>depot_tools(7)</title> |
8 <style type="text/css"> | 8 <style type="text/css"> |
9 /* Shared CSS for AsciiDoc xhtml11 and html5 backends */ | 9 /* Shared CSS for AsciiDoc xhtml11 and html5 backends */ |
10 | 10 |
(...skipping 873 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
884 </div> | 884 </div> |
885 </div> | 885 </div> |
886 <div id="footnotes"><hr /></div> | 886 <div id="footnotes"><hr /></div> |
887 <div id="footer"> | 887 <div id="footer"> |
888 <div id="footer-text"> | 888 <div id="footer-text"> |
889 Last updated 2014-04-10 14:23:11 PDT | 889 Last updated 2014-04-10 14:23:11 PDT |
890 </div> | 890 </div> |
891 </div> | 891 </div> |
892 </body> | 892 </body> |
893 </html> | 893 </html> |
OLD | NEW |