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 diff --git a/doc/developer-guidelines.sgml b/doc/developer-guidelines.sgml index e7754f4..d7b7a77 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 v0.10-9-g596f