| tree | 878c8978e791d5c00d126f2c6200bd0361e7eae5 |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 229 | animatedot.sh | blobblamehistoryraw |
| -rw-r--r-- | 997 | copy-includes.pl | blobblamehistoryraw |
| -rw-r--r-- | 6179 | 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 |