summaryrefslogtreecommitdiff
path: root/doc/UserGuide
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2019-08-10 12:03:13 +0200
committerJörg Frings-Fürst <debian@jff.email>2019-08-10 12:03:13 +0200
commit05425539f8f939ea2edc03c1e011e41952612836 (patch)
tree96f72afa6e9f48aaa63c13c6ef6f1a3944952bdc /doc/UserGuide
parent5f532f12bf9a32e4fe135280c22a12de32c8ebd3 (diff)
parent27df2893a39a9da083841e37c12fc24b2bdad80f (diff)
Merge branch 'feature/upstream' into develop
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