diff --git a/interfaces.html b/interfaces.html index 0ba01b0ac..d3082bedc 100755 --- a/interfaces.html +++ b/interfaces.html @@ -11,7 +11,7 @@ @@ -84,4 +84,4 @@

If you are developing an interface for Gecode and would like it to be listed here, please send us an email.

- \ No newline at end of file +