Completed
Push — master ( 9913e8...7d87de )
by Julian
02:13
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Julian Mendez  
Use interfaces of RI axioms
Base
Julian Mendez  
Use interfaces of GCI axioms