Remove export of disappeared OPTIONS-SURFLET-PREFIX

This commit is contained in:
interp 2003-01-28 20:44:48 +00:00
parent 615886e492
commit 8e07bc1b07
1 changed files with 0 additions and 1 deletions

View File

@ -88,7 +88,6 @@
set-options-cache-surflets? set-options-cache-surflets?
options-cache-surflets? options-cache-surflets?
options-surflet-path options-surflet-path
options-surflet-prefix
get-sessions get-sessions
session-surflet-name session-surflet-name
session-memo session-memo