Install Debian's ion_0.0.20020207-1.diff.gz patch.
[ion1.git] / scripts / 
tree7fb2904a9e08687b884d48d3b2d94e6ac2cb6f6f
drwxr-xr-x   ..
-rwxr-xr-x 58 ion-edit
-rwxr-xr-x 96 ion-man
-rwxr-xr-x 370 ion-runinxterm
-rwxr-xr-x 60 ion-ssh
-rwxr-xr-x 157 ion-view