Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Changeset [9be99f654e382e9954de5f4d3c4728fa7c434943] by Andre Steingress

Revision 9be99f654e382e9954de5f4d3c4728fa7c434943, committed by Andre Steingress · March 31st, 2011 @ 09:53 AM

2 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java