Updated or added timestamp to obsolete and fixme messages.

Fixed ecf file exclusion for .svn and .git .
Cosmetic changed.
This commit is contained in:
Jocelyn Fiat
2017-05-12 14:11:22 +02:00
parent 3d146d9be9
commit fb9af26d32
159 changed files with 15255 additions and 370 deletions

View File

@@ -4,7 +4,7 @@
<file_rule>
<exclude>/EIFGENs$</exclude>
<exclude>/CVS$</exclude>
<exclude>/.svn$</exclude>
<exclude>/\.svn$</exclude>
</file_rule>
<option warning="true">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>