dive.rule: de-duplicate by sorting s operations.

pull/312/head
jfoug 8 years ago
parent ca260167a0
commit 926841510e

File diff suppressed because it is too large Load Diff
Loading…
Cancel
Save