summaryrefslogtreecommitdiff
path: root/doc/UserGuide
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2020-09-17 10:48:23 +0200
committerJörg Frings-Fürst <debian@jff.email>2020-09-17 10:48:23 +0200
commit12f0c28c2c2a1785278df0d0731ef57921c0cd1a (patch)
treee0f40e53ff7ee84973790fb4b388ededa536dbe8 /doc/UserGuide
parentb3f027c605992040981c81d34ccc02a9f1976c07 (diff)
parent1759fac62c33877a7ebc52a423d6f99ddc9d08c4 (diff)
Merge branch 'release/debian/3.1.7-1' into masterdebian/3.1.7-1
Diffstat (limited to 'doc/UserGuide')
-rw-r--r--doc/UserGuide2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/UserGuide b/doc/UserGuide
index ba6f086..ab2ee63 100644
--- a/doc/UserGuide
+++ b/doc/UserGuide
@@ -1,6 +1,6 @@
IPMIUTIL USER GUIDE
- VERSION 3.1.6
+ VERSION 3.1.7
An easy-to-use IPMI server management utility