The c/ folder is obsolete

LesBoloss-es · May 15, 2020 · e1d51d1 · e1d51d1
1 parent e7697eb
commit e1d51d1
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 69 deletions.
diff --git a/c/.gitignore b/c/.gitignore
diff --git a/c/Makefile b/c/Makefile
diff --git a/c/ocamlrandom.c b/c/ocamlrandom.c
diff --git a/c/ocamlrandom.h b/c/ocamlrandom.h
diff --git a/c/testocamlrandom.c b/c/testocamlrandom.c
diff --git a/c/testxoshiro.c b/c/testxoshiro.c