diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2019-12-23 07:43:17 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2019-12-23 07:43:17 +0100 |
commit | 4d04d317f1e2c8e46b8fc04b4a20689da471a5d3 (patch) | |
tree | 20772efc19de68d81ac4c972cd1e232b75ab9962 /doc/UserGuide | |
parent | 3d8ccff2a698e62e112f58f8c329b77ae71b8cbd (diff) | |
parent | 23a457acde5ee92ed3a20e84c201edfa4bd5a107 (diff) |
Merge branch 'release/debian/3.1.5-1'debian/3.1.5-1
Diffstat (limited to 'doc/UserGuide')
-rw-r--r-- | doc/UserGuide | 2 |
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 |