17 lines
416 B
HTML
17 lines
416 B
HTML
|
<HTML>
|
||
|
|
<HEAD>
|
||
|
|
<TITLE>push.script</TITLE></HEAD>
|
||
|
|
<BODY>
|
||
|
|
<h1>push.script</h1>
|
||
|
|
<B>Category</B><p>
|
||
|
|
<a href="extra_commands.html">Extra commands</a><p>
|
||
|
|
<B>Syntax</B><p>
|
||
|
|
<p>
|
||
|
|
push.script();<p>
|
||
|
|
<B>Description</B><p>
|
||
|
|
<p>
|
||
|
|
This command is used if you want to load something and then unload it, so it does not use too much of the interpreter script.
|
||
|
|
<B>See also</B><p>
|
||
|
|
<a href="pop_script.html">pop.script</a><p>
|
||
|
|
</BODY></HTML>
|