diff options
Diffstat (limited to 'man/man3/tomo-Num.1_PI.3')
| -rw-r--r-- | man/man3/tomo-Num.1_PI.3 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/man3/tomo-Num.1_PI.3 b/man/man3/tomo-Num.1_PI.3 index 3be0c785..57527381 100644 --- a/man/man3/tomo-Num.1_PI.3 +++ b/man/man3/tomo-Num.1_PI.3 @@ -2,7 +2,7 @@ .\" Copyright (c) 2025 Bruce Hill .\" All rights reserved. .\" -.TH Num.1_PI 3 2025-04-19T14:30:40.364254 "Tomo man-pages" +.TH Num.1_PI 3 2025-04-19T14:48:15.714009 "Tomo man-pages" .SH NAME Num.1_PI \- The constant $\frac{1}{\pi}$. @@ -10,7 +10,7 @@ Num.1_PI \- The constant $\frac{1}{\pi}$. Tomo Standard Library .SH SYNOPSIS .nf -.BI 'Num.1_PI : Num' +.BI Num.1_PI\ :\ Num .fi .SH DESCRIPTION |