| admin | bae64d8 | 2013-08-01 10:50:15 -0700 | [diff] [blame^] | 1 | <?xml version="1.0" encoding="ascii"?> |
| 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
| 3 | "DTD/xhtml1-transitional.dtd"> |
| 4 | <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> |
| 5 | <head> |
| 6 | <title>tool</title> |
| 7 | <link rel="stylesheet" href="epydoc.css" type="text/css" /> |
| 8 | <script type="text/javascript" src="epydoc.js"></script> |
| 9 | </head> |
| 10 | |
| 11 | <body bgcolor="white" text="black" link="blue" vlink="#204080" |
| 12 | alink="#204080"> |
| 13 | <h1 class="toc">Module tool</h1> |
| 14 | <hr /> |
| 15 | <hr /> |
| 16 | <span class="options">[<a href="javascript:void(0);" class="privatelink" |
| 17 | onclick="toggle_private();">hide private</a>]</span> |
| 18 | |
| 19 | <script type="text/javascript"> |
| 20 | <!-- |
| 21 | // Private objects are initially displayed (because if |
| 22 | // javascript is turned off then we want them to be |
| 23 | // visible); but by default, we want to hide them. So hide |
| 24 | // them unless we have a cookie that says to show them. |
| 25 | checkCookie(); |
| 26 | // --> |
| 27 | </script> |
| 28 | </body> |
| 29 | </html> |