diff options
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 bfdd3269..bb1ab10f 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-06-05" "Git snapshot 4108246" Boogie +.TH bvd 1 "2016-08-17" "Git snapshot 1f2d6c1" Boogie .SH NAME bvd \- Boogie Verification Debugger .SH SYNOPSIS |