renamed and moved menu entries related to weak contracts checks
1 file changed
tree: 5bfc885aeef76a5efe61595ccaebaf02948d7f2f
  1. plugins/
  2. .classpath
  3. .gitignore
  4. .project