# Compulsory line, this is a version 3 file
version=3

# Uncomment to examine a Webpage
# <Webpage URL> <string match>
http://svn.cprover.org/svn/cbmc/releases/ cbmc-(.*)/
