Skip navigation links

Package com.github.gumtreediff.client.diff.swing

Skip navigation links