git.iko.soy/Idris-dev
on 2be265d help sign in
Idris-dev/test/unique004
10 files
../ expectedConsolidate unique003 into unique004 runConsolidate unique003 into unique004 unique001a.idrConsolidate unique001 into unique004 unique001b.idrConsolidate unique001 into unique004 unique001c.idrConsolidate unique001 into unique004 unique001d.idrConsolidate unique001 into unique004 unique001e.idrConsolidate unique001 into unique004 unique002.idrConsolidate unique002 into unique004 unique002a.idrConsolidate unique002 into unique004 unique003.idrConsolidate unique003 into unique004