-rw-r--r-- 15 djbsort-20180729/LICENSE
Public domain.