rename (/=) to (!=) (#81)

Gabriella439 · Sep 19, 2018 · 0903907 · 0903907
1 parent 8bb0eff
commit 0903907
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/Prelude/Bool/(/=) → Prelude/Bool/(!=) b/Prelude/Bool/(/=) → Prelude/Bool/(!=)