← Back to branch summary

~yrke/tapaal/remove-staticIgnoreSelect

Viewing all changes in revision 976.

merged in branch lp:~yrke/tapaal/cleanup-selectionmanager doing
some code cleanup in SelectionManager.java

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: