summaryrefslogtreecommitdiff
path: root/doc/UserGuide
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2019-12-23 07:43:17 +0100
committerJörg Frings-Fürst <debian@jff.email>2019-12-23 07:43:17 +0100
commit4d04d317f1e2c8e46b8fc04b4a20689da471a5d3 (patch)
tree20772efc19de68d81ac4c972cd1e232b75ab9962 /doc/UserGuide
parent3d8ccff2a698e62e112f58f8c329b77ae71b8cbd (diff)
parent23a457acde5ee92ed3a20e84c201edfa4bd5a107 (diff)
Merge branch 'release/debian/3.1.5-1'debian/3.1.5-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 a09f884..da88938 100644
--- a/doc/UserGuide
+++ b/doc/UserGuide
@@ -1,6 +1,6 @@
IPMIUTIL USER GUIDE
- VERSION 3.1.4
+ VERSION 3.1.5
An easy-to-use IPMI server management utility