diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-21 10:06:02 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-21 10:11:47 -0700 |
| commit | 2e9366d3a9044742f41d254bedfa72b60a217551 (patch) | |
| tree | 3fe896dd141cc311078a412f67a2d01007f1f740 /doc/options.3cvc_template.in | |
| parent | 33ca2a3f2359493a9154a229a30ad3aa3a21f2aa (diff) | |
Change Bugzilla urls to Github issues.
Diffstat (limited to 'doc/options.3cvc_template.in')
| -rw-r--r-- | doc/options.3cvc_template.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in index f92faf47f..7e4f27a4a 100644 --- a/doc/options.3cvc_template.in +++ b/doc/options.3cvc_template.in @@ -25,8 +25,8 @@ This manual page refers to .B CVC4 version @VERSION@. .SH BUGS -A Bugzilla for the CVC4 project is maintained at -.BR http://cvc4.cs.nyu.edu/bugzilla3/ . +An issue tracker for the CVC4 project is maintained at +.BR https://github.com/CVC4/CVC4/issues . .SH AUTHORS .B CVC4 is developed by a team of researchers at New York University |