final commit
[des2015.git] / runtime / specs /
drwxr-xr-x   ..
-rw-r--r-- 894 spec1.tdsl