| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | animatedot.sh | 229 | logplain |
| -rw-r--r-- | copy-includes.pl | 997 | logplain |
| -rw-r--r-- | default.nix | 6174 | logplain |
| -rw-r--r-- | dot2pdf.sh | 397 | logplain |
| -rw-r--r-- | dot2ps.sh | 354 | logplain |
| -rw-r--r-- | find-includes.pl | 2204 | logplain |
| -rw-r--r-- | find-lhs2tex-includes.sh | 107 | logplain |
| -rw-r--r-- | lhs2tex.sh | 328 | logplain |
| -rw-r--r-- | run-latex.sh | 3679 | logplain |
 |
index : kookienomicon | |
| My personal project and infrastructure archive | Katharina Fey |
| aboutsummaryrefslogtreecommitdiff |