From 032a2dedd1d3d033bcc410c3de07e6ed0f701ac0 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Thu, 25 Jul 2013 10:58:00 +0100 Subject: remove www from master branch --- www/bugs.html | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 www/bugs.html (limited to 'www/bugs.html') diff --git a/www/bugs.html b/www/bugs.html deleted file mode 100644 index 1ac9421a..00000000 --- a/www/bugs.html +++ /dev/null @@ -1,24 +0,0 @@ - - - - - - The KLEE Symbolic Virtual Machine - - - - - -
- -

KLEE Bug Reports

- - - Please report any bugs in KLEE to - the klee-dev mailing list. You need to - be subscribe to the list in order to send your report. - -
- - -- cgit 1.4.1