summaryrefslogtreecommitdiff
path: root/doc/man/scons-time.xml
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2019-10-07 17:51:00 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2019-10-07 17:51:00 +0200
commitac95e6b0e59367452b30f194e9a937a44938ded5 (patch)
tree446c6a1ae777002d536d62d87290ec91b6fae337 /doc/man/scons-time.xml
parentd2798622a34a90a7e921148d1d0bf5d9084c1319 (diff)
parent957d7c1366611f7239a9de1e985056ef52146914 (diff)
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'doc/man/scons-time.xml')
-rw-r--r--doc/man/scons-time.xml4
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>