diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2019-08-11 12:11:26 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2019-08-11 12:11:26 +0200 |
commit | 3d8ccff2a698e62e112f58f8c329b77ae71b8cbd (patch) | |
tree | 67892ebc654ed9860eb3517c8913b23670aa211e /doc/UserGuide | |
parent | cb4c53adfa077477b1dd784b200e0a8f9fff2afc (diff) | |
parent | 148652fc7e5cdf14c30dd11be98e0d2e4c39d7bb (diff) |
Merge branch 'release/debian/3.1.4-1'debian/3.1.4-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 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 |