diff bootstrap.conf @ 10245:4ea0bda308b7

use gnulib stdint module
author John W. Eaton <jwe@octave.org>
date Tue, 02 Feb 2010 02:58:46 -0500
parents fa7b5751730c
children f751dae7aab8
line wrap: on
line diff
--- a/bootstrap.conf	Tue Feb 02 02:45:14 2010 -0500
+++ b/bootstrap.conf	Tue Feb 02 02:58:46 2010 -0500
@@ -33,6 +33,7 @@
   rename
   rmdir
   stat
+  stdint
   strftime
   strptime
   symlink