aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorLudovic Court`es2007-09-03 17:23:55 +0000
committerLudovic Court`es2007-09-03 17:23:55 +0000
commit8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e (patch)
treefddaf86298ecb364149d03eb53312b74f0e7b11c /tools
parentb829858803daf0ee6da6cb3498ef703cd8776fc9 (diff)
parent11789ba0f936f6d4095cd1b761817557cf69ba3f (diff)
downloadskribilo-8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e.tar.gz
skribilo-8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e.tar.lz
skribilo-8c3ac87055e188b2818a7d1d8c0cb7bf4eec8e8e.zip
skribilo: Flush the output port before exiting.
* src/guile/skribilo.scm (skribilo): Flush `(*skribilo-output-port*)' before exiting. git-archimport-id: skribilo@sv.gnu.org--2006/skribilo--devo--1.2--patch-163
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions