diff options
Diffstat (limited to 'man/man3/tomo-Num.PI_2.3')
| -rw-r--r-- | man/man3/tomo-Num.PI_2.3 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/man3/tomo-Num.PI_2.3 b/man/man3/tomo-Num.PI_2.3 index d533d6a5..52f77ff4 100644 --- a/man/man3/tomo-Num.PI_2.3 +++ b/man/man3/tomo-Num.PI_2.3 @@ -2,7 +2,7 @@ .\" Copyright (c) 2025 Bruce Hill .\" All rights reserved. .\" -.TH Num.PI_2 3 2025-04-19T14:48:15.714297 "Tomo man-pages" +.TH Num.PI_2 3 2025-04-19T14:52:07.136992 "Tomo man-pages" .SH NAME Num.PI_2 \- $\frac{\pi}{2}$ |