diff options
author | Andres G. Aragoneses <knocte@gmail.com> | 2016-05-31 11:51:23 +0300 |
---|---|---|
committer | Andres G. Aragoneses <knocte@gmail.com> | 2016-05-31 11:51:23 +0300 |
commit | 99f7b148e3be3306850db4c7e721d143671f57e3 (patch) | |
tree | ee2c7f153400ad48103c1b42c5757def199f5743 /man | |
parent | 9f23956396f2a0599a323e88c7025cbf521857c2 (diff) |
[man] bump man's mono version number too (to 4.5.2)
Following this version bump:
https://github.com/mono/mono/commit/069cea3712a5bd4959e505260cdc4a0c37861e77
(Also add a note to configure.ac as a hint until
someone comes up with a way to sync man/mono.1's
version automatically.)
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/mono.1 b/man/mono.1 index 22ffdeb139e..e2eff1620e7 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -7,7 +7,7 @@ .\" Author: .\" Miguel de Icaza (miguel@gnu.org) .\" -.TH Mono "Mono 3.0" +.TH Mono "Mono 4.5.2" .SH NAME mono \- Mono's ECMA-CLI native code generator (Just-in-Time and Ahead-of-Time) .SH SYNOPSIS |