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 [fa1d5b99f2b54e10315c7ae755e1f9fd97cce75f] by Andre Steingress

Revision fa1d5b99f2b54e10315c7ae755e1f9fd97cce75f, committed by Andre Steingress · March 1st, 2012 @ 09:07 AM

using metadata markers in ContractElementVisitor
https://github.com/andresteingress/gcontracts/commit/fa1d5b99f2b54e...

1 changed file

  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementVisitor.java