workaround for spr bug
-rw-r--r-- 17 .gitignore
drwxr-xr-x - examples
drwxr-xr-x - experiments
drwxr-xr-x - experiments2
drwxr-xr-x - experiments3
drwxr-xr-x - experiments4
drwxr-xr-x - experiments5
drwxr-xr-x - experiments6
drwxr-xr-x - experiments7
drwxr-xr-x - experiments8
drwxr-xr-x - experiments9
-rwxr-xr-x 1035 mksym.sh