You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
restore <pathname>
Restores module definitions from the designated file pathname which
has been saved with the save command. input can also be used but
the effects might be different.
TODO -- should we keep the different effects? What is the real difference?