summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès2007-12-12 16:20:34 +0100
committerLudovic Courtès2007-12-12 16:20:34 +0100
commitfb6806f6a73b2d45f1feba21da03ac2b4cf3c529 (patch)
tree5725bd61a2e366b60531c3e5a8da5b011c2690fd /.gitignore
parentd41ab523dc1f0abd6cb512f1860cf7d961bd0139 (diff)
downloadskribilo-fb6806f6a73b2d45f1feba21da03ac2b4cf3c529.tar.gz
skribilo-fb6806f6a73b2d45f1feba21da03ac2b4cf3c529.tar.lz
skribilo-fb6806f6a73b2d45f1feba21da03ac2b4cf3c529.zip
Remove legacy/dead code from `(skribilo)'.
* src/guile/skribilo.scm: Remove `/bin/sh' header. (process-option-specs, raw-options->getopt-long, define-options, skribilo-options, *load-rc*, load-rc): Remove (%options)[debug]: Fix `(integer? num)' case. (main): Remove. * src/pre-inst-skribilo.in (main): Update. * src/skribilo.in (main): Update.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions