Skip to content

Rename `Naming/PredicateName` to `Naming/PredicatePrefix`

58923a2
Select commit
Loading
Failed to load commit list.
Merged

Rename Naming/PredicateName to Naming/PredicatePrefix #28

Rename `Naming/PredicateName` to `Naming/PredicatePrefix`
58923a2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar