chiark / gitweb /
infra: Provide get-dm-txt
[dgit.git] / infra /
drwxr-xr-x   ..
-rwxr-xr-x 356 get-dm-txt