One directory for each session

vlopezj · Feb 19, 2017 · b009e01 · b009e01
1 parent 7ae95d6
commit b009e01
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 0 deletions.
diff --git a/exercises/ex1.v → exercises/1/ex1.v b/exercises/ex1.v → exercises/1/ex1.v
diff --git a/exercises/ex2.v → exercises/1/ex2.v b/exercises/ex2.v → exercises/1/ex2.v
diff --git a/exercises/ex3.v → exercises/1/ex3.v b/exercises/ex3.v → exercises/1/ex3.v
diff --git a/exercises/exindprop.v → exercises/2/exindprop.v b/exercises/exindprop.v → exercises/2/exindprop.v