Remove needless whitespace. default tip
authorGeoffrey Sneddon <geoffers@gmail.com>
Tue Dec 08 00:00:37 2009 +0100 (2009-12-08)
changeset 141d6be3fa8ec58
parent 140 a2ad62fae6c3
Remove needless whitespace.
iri.php
     1.1 --- a/iri.php	Mon Dec 07 23:59:26 2009 +0100
     1.2 +++ b/iri.php	Tue Dec 08 00:00:37 2009 +0100
     1.3 @@ -1392,7 +1392,6 @@
     1.4              return false;
     1.5          }
     1.6      }
     1.7 -
     1.8  }
     1.9  
    1.10  ?>
    1.11 \ No newline at end of file