Rename to Bubble Tea (with the import name tea)

This commit is contained in:
Christian Rocha
2020-05-25 19:26:40 -04:00
parent 200891b022
commit 3b8b011b5a
24 changed files with 163 additions and 161 deletions

View File

@@ -1,4 +1,4 @@
package boba
package tea
// Convenience commands. Note part of the Boba runtime, but potentially handy.