From 1609749226c65e801466918a3f32a31249eae0ce Mon Sep 17 00:00:00 2001 From: Sven Nierlein Date: Wed, 21 Aug 2013 22:20:59 +0200 Subject: removed duplicate entry --- doc/developer-guidelines.sgml | 4 ---- 1 file changed, 4 deletions(-) (limited to 'doc') diff --git a/doc/developer-guidelines.sgml b/doc/developer-guidelines.sgml index e7754f4e..d7b7a773 100644 --- a/doc/developer-guidelines.sgml +++ b/doc/developer-guidelines.sgml @@ -269,10 +269,6 @@ @10:20 ≥ 10 and ≤ 20, (inside the range of {10 .. 20}) - - 10 - < 0 or > 10, (outside the range of {0 .. 10}) - -- cgit v1.2.3