return value of find_file()

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

Hello,

what returns find_file()? In my jedfuns.txt is only named, it returns a
int_type, but what's the meaning of this value isn't said.

Joerg.

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