diff options
author | Ludovic Court`es | 2007-09-03 17:23:04 +0000 |
---|---|---|
committer | Ludovic Court`es | 2007-09-03 17:23:04 +0000 |
commit | 11789ba0f936f6d4095cd1b761817557cf69ba3f (patch) | |
tree | e8817b8994576d0cd78ced2214e4052d63d88904 /examples/slide/PPRskribe.sty | |
parent | 6b72aa99c8628d54d405d6acac9195302eac560d (diff) | |
download | skribilo-11789ba0f936f6d4095cd1b761817557cf69ba3f.tar.gz skribilo-11789ba0f936f6d4095cd1b761817557cf69ba3f.tar.lz skribilo-11789ba0f936f6d4095cd1b761817557cf69ba3f.zip |
skribilo: Flush the output port before exiting.
* src/guile/skribilo.scm (skribilo): Flush `(*skribilo-output-port*)'
before exiting.
git-archimport-id: lcourtes@laas.fr--2006-libre/skribilo--devo--1.2--patch-105
Diffstat (limited to 'examples/slide/PPRskribe.sty')
0 files changed, 0 insertions, 0 deletions