Any Room Selection
Merge branch 'noj' of github.com:ericschmidt/6.813 into noj
Merge branch 'eric' into noj
rc
Merge branch 'master' of github.com:ericschmidt/6.813 into noj
Heuristics Initial Fix
addressed most issues
Merge branch 'noj' into eric
combined everyone's changes