diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-10-07 17:51:00 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-10-07 17:51:00 +0200 |
commit | ac95e6b0e59367452b30f194e9a937a44938ded5 (patch) | |
tree | 446c6a1ae777002d536d62d87290ec91b6fae337 /doc/man/scons-time.xml | |
parent | d2798622a34a90a7e921148d1d0bf5d9084c1319 (diff) | |
parent | 957d7c1366611f7239a9de1e985056ef52146914 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'doc/man/scons-time.xml')
-rw-r--r-- | doc/man/scons-time.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man/scons-time.xml b/doc/man/scons-time.xml index 7251c9f..2632e41 100644 --- a/doc/man/scons-time.xml +++ b/doc/man/scons-time.xml @@ -32,8 +32,8 @@ <refmeta> <refentrytitle>SCONS-TIME</refentrytitle> <manvolnum>1</manvolnum> -<refmiscinfo class='source'>SCons 3.1.0</refmiscinfo> -<refmiscinfo class='manual'>SCons 3.1.0</refmiscinfo> +<refmiscinfo class='source'>SCons 3.1.1</refmiscinfo> +<refmiscinfo class='manual'>SCons 3.1.1</refmiscinfo> </refmeta> <refnamediv id='name'> <refname>scons-time</refname> |