From: Karl Berry Date: Fri, 11 Nov 2005 08:28:09 +0000 (+0000) Subject: . X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=519583e51a16217e86c9e36643d3f4df7a9c90ec;p=pspp . --- diff --git a/MODULES.html b/MODULES.html index 3a707cea9c..b7627f239e 100644 --- a/MODULES.html +++ b/MODULES.html @@ -3746,7 +3746,7 @@ variables. #include "xtime.h" gethrxtime.c
gethrxtime.h gethrxtime.m4
clock_time.m4
longlong.m4
gl_GETHRXTIME - extensions + gettime
extensions havelib @@ -3853,6 +3853,6 @@ variables.
  • A POT file and some PO files
    - Generated from MODULES.html.sh on 29 October 2005. + Generated from MODULES.html.sh on 11 November 2005.