# HG changeset patch # User Giulio Moro # Date 1442248518 -3600 # Node ID dd24379336f1959dcc36e1f4c28db92230318da7 # Parent 44d07fa9bd03bbc975087b70297fdffc27a86cca# Parent d064234468cd57b7fac527b5253413dce5250f97 Merged diff -r d064234468cd -r dd24379336f1 .cproject --- a/.cproject Mon Sep 14 17:31:24 2015 +0100 +++ b/.cproject Mon Sep 14 17:35:18 2015 +0100 @@ -14,11 +14,11 @@ - + - + @@ -31,8 +31,6 @@ @@ -47,10 +45,8 @@ @@ -114,13 +108,13 @@ - + - + - +