diff bootstrap.conf @ 10073:dcde57cb5778

use times module from gnulib
author John W. Eaton <jwe@octave.org>
date Thu, 07 Jan 2010 17:26:18 -0500
parents 0b0bf1fd1ed7
children 8590f3c51868
line wrap: on
line diff
--- a/bootstrap.conf	Thu Jan 07 16:43:48 2010 -0500
+++ b/bootstrap.conf	Thu Jan 07 17:26:18 2010 -0500
@@ -27,6 +27,7 @@
   mkfifo
   stat
   strftime
+  times
 "
 
 # Additional xgettext options to use.  Use "\\\newline" to break lines.