? psql
Index: common.c
===================================================================
RCS file: /cvsroot/pgsql-server/src/bin/psql/common.c,v
retrieving revision 1.74
diff -c -c -r1.74 common.c
*** common.c	16 Sep 2003 17:59:02 -0000	1.74
--- common.c	5 Oct 2003 22:31:26 -0000
***************
*** 550,556 ****
  
  	/* Possible microtiming output */
  	if (pset.timing && success)
! 		printf(gettext("Time: %.2f ms\n"), DIFF_MSEC(after, before));
  
  	return success;
  }
--- 550,556 ----
  
  	/* Possible microtiming output */
  	if (pset.timing && success)
! 		printf(gettext("Time: %.3f ms\n"), DIFF_MSEC(after, before));
  
  	return success;
  }
