chiark / gitweb /
strayman.dtx (\@makecaption): Reset rather than unbox wide captions.
[strayman] / debian /
drwxr-xr-x   ..
-rw-r--r-- 43 .gitignore
-rw-r--r-- 1046 changelog
-rw-r--r-- 2 compat
-rw-r--r-- 601 control
-rw-r--r-- 1243 copyright
-rwxr-xr-x 188 rules