remove existing hardfloat repository

2014-09-07 23:45:47 -07:00
parent ae05125f29
commit 1e5b2f658f
2 changed files with 0 additions and 4 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -13,6 +13,3 @@
 [submodule "chisel"]
 	path = chisel
 	url = git@github.com:ucb-bar/chisel.git
-[submodule "hardfloat"]
-	path = hardfloat
-	url = git@github.com:ucb-bar/hardfloat.git