Bug in jed-script

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

there's something wrong in the path expansion:
#v+
$ jed-script /home/joerg/test.sl 
***Warning: feature mini not found in mini
Test
$ jed-script /home/joerg//test.sl 
***Warning: feature mini not found in mini
Unable to load /test.sl
#v-

Jörg.
-- 
Ich halte ihn zwar für einen Schurken und das was er sagt für
falsch - aber ich bin bereit mein Leben dafür einzusetzen, daß
er seine Meinung sagen kann.		(Voltair)

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.