Remove unused scripts and config files

circuithub · Oct 22, 2016 · 2375bca · 2375bca
1 parent 4641a26
commit 2375bca
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 85 deletions.
diff --git a/TODO b/TODO
diff --git a/admin/runtests b/admin/runtests
diff --git a/prj/config b/prj/config
diff --git a/prj/hosts/brick b/prj/hosts/brick