/etc/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-17 14:41 +0200 8098 isa-settings.el
-rw-r--r-- 1997-04-17 14:41 +0200 2125 settings
-rw-r--r-- 1997-04-17 14:41 +0200 542 user-settings.sample