Bug #9595 Rename Shell tab to Console (#250)
Bug #9595 Rename Shell tab to Console (#250)


lolski/grakn,lolski/grakn,graknlabs/grakn,graknlabs/grakn,lolski/grakn,graknlabs/grakn,lolski/grakn,graknlabs/grakn