chiark / gitweb /
Abolish shared libdisorder; now we use a static one.