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/klee-dev.html | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 www/klee-dev.html (limited to 'www/klee-dev.html') diff --git a/www/klee-dev.html b/www/klee-dev.html deleted file mode 100644 index 5434ce57..00000000 --- a/www/klee-dev.html +++ /dev/null @@ -1,31 +0,0 @@ - - - - - - klee-dev mailing list - - - - - -
- -

klee-dev mailing list

- - -

If you have questions about KLEE that are not answered on this - website, please send a message to - the klee-dev - mailing list.

- - -

However, before doing so, please - check klee-dev's - searchable archive to see if your question has already been - answered.

- -
- - -- cgit v1.2.3