diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 863c639..8725b73 100644 --- a/ChangeLog +++ b/ChangeLog @@ -2,6 +2,23 @@ # arch-tag: automatic-ChangeLog--skribilo@sv.gnu.org--2006/skribilo--devo--1.2 # +2007-09-03 17:23:55 GMT Ludovic Court`es <ludovic.courtes@laas.fr> patch-163 + + Summary: + skribilo: Flush the output port before exiting. + Revision: + skribilo--devo--1.2--patch-163 + + * src/guile/skribilo.scm (skribilo): Flush `(*skribilo-output-port*)' + before exiting. + + modified files: + ChangeLog src/guile/skribilo.scm + + new patches: + lcourtes@laas.fr--2006-libre/skribilo--devo--1.2--patch-105 + + 2007-08-31 17:05:55 GMT Ludovic Court`es <ludovic.courtes@laas.fr> patch-162 Summary: |