diff --git a/reference/info/functions/getrusage.xml b/reference/info/functions/getrusage.xml index 19c325e904..3b4a21b37e 100644 --- a/reference/info/functions/getrusage.xml +++ b/reference/info/functions/getrusage.xml @@ -1,5 +1,5 @@ - + @@ -33,11 +33,7 @@ echo $dat["ru_utime.tv_usec"]; # user time used (microseconds) See your system's man page on getrusage(2) for more details. - - - This function does not work on Windows systems. - - + ¬e.no-windows;