chiark / gitweb /
Dynamic string pool system, based on an idea from the `sw-tools'