diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-10-29 21:46:00 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-29 21:52:14 -0400 |
| commit | 8abf904351151c0c503ccd984b6c0225c47ba4a6 (patch) | |
| tree | 25749a27b2045a7dedc122bd9ec50deb1abd7b98 | |
| parent | 1c44cd617402e72470722c4b4fa434b199fd12fd (diff) | |
Update man pages
| -rw-r--r-- | debian/boogie.1 | 2 | ||||
| -rw-r--r-- | debian/bvd.1 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/boogie.1 b/debian/boogie.1 index d597a99e..b811d8e8 100644 --- a/debian/boogie.1 +++ b/debian/boogie.1 @@ -12,7 +12,7 @@ .\" License for the specific language governing permissions and limitations .\" under the License. .pc -.TH boogie 1 "2016-06-05" "Git snapshot 4108246" Boogie +.TH boogie 1 "2016-08-17" "Git snapshot 1f2d6c1" Boogie .SH NAME boogie \- compiler for the Boogie programming language .SH SYNOPSIS 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 |