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 /README.Skribe | |
| 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 'README.Skribe')
0 files changed, 0 insertions, 0 deletions