| tree | 838d569d616507250e65a50b3051228fea3e93a6 |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 229 | animatedot.sh | blobblamehistoryraw |
| -rw-r--r-- | 997 | copy-includes.pl | blobblamehistoryraw |
| -rw-r--r-- | 6933 | default.nix | blobblamehistoryraw |
| -rw-r--r-- | 397 | dot2pdf.sh | blobblamehistoryraw |
| -rw-r--r-- | 354 | dot2ps.sh | blobblamehistoryraw |
| -rw-r--r-- | 2204 | find-includes.pl | blobblamehistoryraw |
| -rw-r--r-- | 107 | find-lhs2tex-includes.sh | blobblamehistoryraw |
| -rw-r--r-- | 328 | lhs2tex.sh | blobblamehistoryraw |
| -rw-r--r-- | 3679 | run-latex.sh | blobblamehistoryraw |