Open kostmo opened 5 years ago
Show how many patterns have higher specificities than the currently selected number
Show how many patterns have higher specificities than the currently selected number