summaryrefslogtreecommitdiff
path: root/doc/UserGuide
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2019-08-11 12:11:26 +0200
committerJörg Frings-Fürst <debian@jff.email>2019-08-11 12:11:26 +0200
commit3d8ccff2a698e62e112f58f8c329b77ae71b8cbd (patch)
tree67892ebc654ed9860eb3517c8913b23670aa211e /doc/UserGuide
parentcb4c53adfa077477b1dd784b200e0a8f9fff2afc (diff)
parent148652fc7e5cdf14c30dd11be98e0d2e4c39d7bb (diff)
Merge branch 'release/debian/3.1.4-1'debian/3.1.4-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 5c35b6b..a09f884 100644
--- a/doc/UserGuide
+++ b/doc/UserGuide
@@ -1,6 +1,6 @@
IPMIUTIL USER GUIDE
- VERSION 3.1.3
+ VERSION 3.1.4
An easy-to-use IPMI server management utility