Fix package issue with sb-thread11/head
tree36f91de11dd852527b1598c74a4b865fb80a3b10
-rw-r--r-- 605 .boring
-rw-r--r-- 201 .gitignore
-rw-r--r-- 1716 COPYING
drwxr-xr-x - dev
-rw-r--r-- 783 lift-standard.config
drwxr-xr-x - make
drwxr-xr-x - tests
drwxr-xr-x - timeout
-rw-r--r-- 609 trivial-shell-test.asd
-rw-r--r-- 1812 trivial-shell.asd
drwxr-xr-x - website