refactorings

2016-08-04 05:50:40 +02:00
parent b43312d9b7
commit 238c19a040
34 changed files with 596 additions and 598 deletions
@@ -1,4 +1,4 @@
-local m, public, private = Aux.module'sort'
+local m, public, private = aux.module'sort'

 public.LT = {}
 public.EQ = {}