diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 16:02:16 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 16:02:16 -0400 |
commit | 1afafa237e7f35202ec0ffe5a726bc5a54ca3713 (patch) | |
tree | df444430e933d8ecc5a3320a299afbac963ddb48 /debian/bvd.1 | |
parent | 90f4434c337f31e18637116a8d3ca2c8b65284ce (diff) |
Update man pages
Add a couple of overlooked options to boogie.1 along the way.
Diffstat (limited to 'debian/bvd.1')
-rw-r--r-- | debian/bvd.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/bvd.1 b/debian/bvd.1 index c610e582..bfdd3269 100644 --- a/debian/bvd.1 +++ b/debian/bvd.1 @@ -12,7 +12,7 @@ .\" License for the specific language governing permissions and limitations .\" under the License. .pc -.TH bvd 1 "2016-04-01" "Git snapshot 97628c" Boogie +.TH bvd 1 "2016-06-05" "Git snapshot 4108246" Boogie .SH NAME bvd \- Boogie Verification Debugger .SH SYNOPSIS |