diff etc/copying.paper @ 92172:16e08abf25d2

Move successful message "Compilation finished" to the end.
author Juri Linkov <juri@jurta.org>
date Sun, 24 Feb 2008 23:22:26 +0000
parents e96ffe544684
children
line wrap: on
line diff