Delete dev submodule; will be administered via alternate means
commit16a78c19b7027dc9ad7a4056153dda8841917e07
authorEdward Z. Yang <edwardzyang@thewritingpot.com>
Sat, 5 Jul 2008 21:33:27 +0000 (5 17:33 -0400)
committerEdward Z. Yang <edwardzyang@thewritingpot.com>
Sat, 5 Jul 2008 21:33:27 +0000 (5 17:33 -0400)
tree7c3b8da0e0417d4acfd334fb23955a3bc8dee920
parent389c83489e6663208dd4e7400bf6ff072e7ec56c
Delete dev submodule; will be administered via alternate means

Signed-off-by: Edward Z. Yang <edwardzyang@thewritingpot.com>
.gitmodules
dev [deleted submodule]