# HG changeset patch
# User jwe
# Date 777089044 0
# Node ID 7caf80625d0e6065081ad5834416cb3fcf2f69c2
# Parent  6636e6198f01609f29871120f10e67cffe3af3d9
[project @ 1994-08-17 02:04:04 by jwe]

diff -r 6636e6198f01 -r 7caf80625d0e src/pager.cc
--- a/src/pager.cc	Tue Aug 16 15:08:03 1994 +0000
+++ b/src/pager.cc	Wed Aug 17 02:04:04 1994 +0000
@@ -200,6 +200,7 @@
       write_to_diary_file = ! write_to_diary_file;
       open_diary_file ();
       break;
+
     case 2:
       {
 	char *arg = argv[1];