Skip to content

Commit db1a8b0

Browse files
committed
remove broken wiki link
The wiki contained minimal useful information for contributors to CBMC (the wiki was largely administrative inforation aimed at Kroening's former research group), and the link is dead now anyway.
1 parent c509854 commit db1a8b0

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

README.md

-2
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@
33
[![Build Status][coverity_img]][coverity]
44
[![Build Status][codecov_img]][codecov]
55

6-
[CProver Wiki](http://www.cprover.org/wiki)
7-
86
[CProver Documentation](http://cprover.diffblue.com)
97

108
About

0 commit comments

Comments
 (0)