What are these iso*.sl files?

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

does anyone know what are these iso*.sl files shipped with jed? None of
them are used in a different file and as I can see jed starts happy
without them. So why they are there?

Bye, Jörg.
-- 
Unsere Zweifel sind Verräter und oft genug verspielen wir den möglichen
Gewinn, weil wir den Versuch nicht wagen.

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