From 29df9a73c08aa7c36adfc9f6fcaa41f434a26703 Mon Sep 17 00:00:00 2001 From: Sanjeev Gupta Date: Mon, 1 Sep 2014 16:48:18 +0800 Subject: Fix broken link anchor --- www/reliability.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'www/reliability.html') diff --git a/www/reliability.html b/www/reliability.html index b00b8adf..a47cb7b9 100644 --- a/www/reliability.html +++ b/www/reliability.html @@ -138,7 +138,7 @@ small a fraction of the state space as we can.

We also use valgrind to check for memory leaks, though this is not expected to turn up bugs (and -doesn't) due to our no-dynamic-allocation house +doesn't) due to our no-dynamic-allocation house rule.

We are methodical and merciless

-- cgit v1.2.1