| Issue 20: | Customizing docs | |
| 1 person starred this issue and may be notified of changes. | Back to list |
Doc on how to customize the interpreter. (Modify banner and initial context.) |
|
,
Jun 17, 2008
(No comment was entered for this change.)
Summary: Customizing docs
|
|
 Sign in to add a comment
|
